1 files changed, 0 insertions, 4 deletions
diff --git a/evaluator.mli b/evaluator.mli
index d69bba6..d695b68 100755
--- a/evaluator.mli
+++ b/evaluator.mli
@@ -29,10 +29,6 @@ val f_string: DataType.String.t result
 
 (** Catalog *)
 
-(** We cannot update an existing function. Any [registerX] function will raise
- [RegisteredFunction] if a function with the same signature already exists in the catalog. *)
-exception RegisteredFunction
-
 val register0: 
   string ->           (* The function name *)
   'a result ->        (* The return type *)