diff --git a/.gitignore b/.gitignore index dc7ce88..bff50d1 100644 --- a/.gitignore +++ b/.gitignore @@ -6,6 +6,7 @@ *.vos *.vok *~ +*.install .Makefile.coq.d Makefile.coq Makefile.coq.bak diff --git a/src/bench/dune b/src/bench/dune index c8828b1..ff79e08 100644 --- a/src/bench/dune +++ b/src/bench/dune @@ -9,5 +9,7 @@ (executable (name experiment) (flags :standard -w -33-35) +;(public_name chaparExperiment) (libraries utils) +;(package coq-chapar-stores) (modules experiment)) diff --git a/src/bench/experiment.ml b/src/bench/experiment.ml index ea163ab..b4fe688 100644 --- a/src/bench/experiment.ml +++ b/src/bench/experiment.ml @@ -1,6 +1,6 @@ (* open Printf *) -open Configuration -open ReadConfig +open Utils.Configuration +open Utils.ReadConfig open String let _ =