From 89dbb39c3fcd188ef7acf092061d756046b2c5d4 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Tue, 22 Feb 2022 14:14:04 +0100 Subject: Reformating --- script.it/path/dune | 2 +- script.it/path/path.ml | 7 ------- script.it/path/script_path.ml | 7 +++++++ 3 files changed, 8 insertions(+), 8 deletions(-) delete mode 100755 script.it/path/path.ml create mode 100755 script.it/path/script_path.ml (limited to 'script.it/path') diff --git a/script.it/path/dune b/script.it/path/dune index 863c768..699f7fe 100755 --- a/script.it/path/dune +++ b/script.it/path/dune @@ -1,5 +1,5 @@ (library - (name path) + (name script_path) (libraries gg shapes 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) - diff --git a/script.it/path/script_path.ml b/script.it/path/script_path.ml new file mode 100755 index 0000000..ea90de4 --- /dev/null +++ b/script.it/path/script_path.ml @@ -0,0 +1,7 @@ +(** 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