summaryrefslogtreecommitdiff
path: root/khb/util.ml
diff options
context:
space:
mode:
Diffstat (limited to 'khb/util.ml')
-rw-r--r--khb/util.ml10
1 files changed, 0 insertions, 10 deletions
diff --git a/khb/util.ml b/khb/util.ml
deleted file mode 100644
index 0d278d6..0000000
--- a/khb/util.ml
+++ /dev/null
@@ -1,10 +0,0 @@
-
-module Int = struct
- type t = int
- let compare = Pervasives.compare
-end
-
-module Smap = Map.Make(String)
-module Imap = Map.Make(Int)
-
-let (^^) a b = (a || b) && (not (a && b))