From 89dbb39c3fcd188ef7acf092061d756046b2c5d4 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@dailly.me>
Date: Tue, 22 Feb 2022 14:14:04 +0100
Subject: Reformating

---
 script.it/path/path.ml | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100755 script.it/path/path.ml

(limited to 'script.it/path/path.ml')

diff --git a/script.it/path/path.ml b/script.it/path/path.ml
deleted file mode 100755
index ea90de4..0000000
--- a/script.it/path/path.ml
+++ /dev/null
@@ -1,7 +0,0 @@
-(** Common  module for ensuring that the function is evaluated only once *)
-
-module Point = Point
-module Repr = Repr
-module Path_Builder = Builder.Make(Point)
-module Fixed = Fixed.Make(Point)
-
-- 
cgit v1.2.3