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

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

(limited to 'functions.ml')

diff --git a/functions.ml b/functions.ml
deleted file mode 100755
index 56d7530..0000000
--- a/functions.ml
+++ /dev/null
@@ -1,14 +0,0 @@
-let u = UTF8.from_utf8string
-
-let eq = u"="
-let neq = u"<>"
-let lt = u"<"
-let le = u"<="
-let gt = u">"
-let ge = u">="
-
-let add = u"+"
-let mul = u"*"
-let pow = u"^"
-let div = u"/"
-let sub = u"-"
-- 
cgit v1.2.3