aboutsummaryrefslogtreecommitdiff
path: root/lib/errors/importErrors.mli
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2025-01-07 22:40:19 +0100
committerSébastien Dailly <sebastien@dailly.me>2025-01-22 12:22:26 +0100
commit986bcb796d8b9e1f485baa8da599aa816c56b587 (patch)
tree76a83796a60ec0e30575d3078518c6e2545cd4b0 /lib/errors/importErrors.mli
parent5e15341857e57671a3c617579e3d5dcc89040936 (diff)
Explicitly list all the availables functions
Diffstat (limited to 'lib/errors/importErrors.mli')
-rw-r--r--lib/errors/importErrors.mli1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/errors/importErrors.mli b/lib/errors/importErrors.mli
index 7d17a5d..5a2921b 100644
--- a/lib/errors/importErrors.mli
+++ b/lib/errors/importErrors.mli
@@ -11,6 +11,7 @@ exception Cycle of string list
(** Cycle between the dpendencies *)
exception Unknown_extension of string
+exception UnknowFunction of string
exception
JsonError of {