From a6b5a6bdd138a5ccc6827bcc73580df1e9218820 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Fri, 24 Nov 2017 09:22:24 +0100
Subject: Moved all the code to src directory

---
 errors.ml | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100755 errors.ml

(limited to 'errors.ml')

diff --git a/errors.ml b/errors.ml
deleted file mode 100755
index 3751a60..0000000
--- a/errors.ml
+++ /dev/null
@@ -1,14 +0,0 @@
-
-(** The function is undefined *)
-exception Undefined of UTF8.t * string list
-
-exception TypeError
-
-exception Cycle
-
-let printf formatter = function
-  | Undefined (name, args) -> Format.fprintf formatter
-      "There is no function '%s' with signature %a"
-      (UTF8.to_utf8string name)
-      (Format.pp_print_list Format.pp_print_text) args
-  | _ -> Format.fprintf formatter "#Error"
-- 
cgit v1.2.3