1 files changed, 2 insertions, 0 deletions
diff --git a/paths.ml b/paths.ml
new file mode 100755
index 0000000..2db8ab0
--- /dev/null
+++ b/paths.ml
@@ -0,0 +1,2 @@
+module Path_Builder = Path.Builder.Make(Path.Point)
+