aboutsummaryrefslogtreecommitdiff
path: root/lib/core
diff options
context:
space:
mode:
authorarie <arie@alleycat.cc>2021-06-29 10:18:32 +0200
committerarie <arie@alleycat.cc>2021-06-29 10:18:32 +0200
commite6bbf3a31f2d7c9a6975af6631d50771c7b01fa8 (patch)
tree4a0720d8def0b7dd51503af1e8e2ab3d75777b92 /lib/core
parent49a0b6e0034fc411963bf3cc2bc1c6f046dcc389 (diff)
Add turtle tests. Almost done, some small strange behavior with literal.
Diffstat (limited to 'lib/core')
-rw-r--r--lib/core/graph.ml1
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/core/graph.ml b/lib/core/graph.ml
index 49c161f..f923a4e 100644
--- a/lib/core/graph.ml
+++ b/lib/core/graph.ml
@@ -4,7 +4,6 @@
But not in any other.This can be improved.
*)
-<<<<<<< HEAD
module TermMap = Map.Make(Term)
module TermSet = Set.Make(Term)