From fa338e344432e2121681ede3ea80f88251b4f718 Mon Sep 17 00:00:00 2001 From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr> Date: Wed, 6 Apr 2022 15:46:36 +0200 Subject: [PATCH] ci: fix a couple of issue (a warning + a file that was tracked by mistake) --- lib/sasacore/worstInit.ml | 4 ++-- salut/src/dune | 16 ---------------- 2 files changed, 2 insertions(+), 18 deletions(-) delete mode 100644 salut/src/dune diff --git a/lib/sasacore/worstInit.ml b/lib/sasacore/worstInit.ml index ba9a5330..b8c07bd5 100644 --- a/lib/sasacore/worstInit.ml +++ b/lib/sasacore/worstInit.ml @@ -1,4 +1,4 @@ -(* Time-stamp: <modified the 06/04/2022 (at 14:52) by Erwan Jahier> *) +(* Time-stamp: <modified the 06/04/2022 (at 15:39) by Erwan Jahier> *) open Register @@ -157,7 +157,7 @@ let value2str = function | Register.B true -> "t" | Register.B false -> "f" -let point2str p = +let _point2str p = Array.fold_right (fun value acc -> (value2str value)::acc) p [] |> String.concat ";" diff --git a/salut/src/dune b/salut/src/dune deleted file mode 100644 index f4c25e25..00000000 --- a/salut/src/dune +++ /dev/null @@ -1,16 +0,0 @@ -;; Time-stamp: <modified the 21/11/2021 (at 17:50) by Erwan Jahier> - -(executable - (name dot2lus) - (flags -noassert) - (link_flags (-linkall)) - (libraries ocamlgraph lutils sasacore algo) -) - -(install - (section bin) - (package sasa) - (files (dot2lus.exe as salut)) -; (files sasaRun.cmxa) -) - -- GitLab