From 51f10d7ad585cf57ed9aa65561201ed06e64571e Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 22 Jul 2016 11:30:47 +0200 Subject: [PATCH] update some files --- .gitignore | 2 +- Makefile | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.gitignore b/.gitignore index 75bc3997..cfb63410 100644 --- a/.gitignore +++ b/.gitignore @@ -6,5 +6,5 @@ _build/ .*.swp .session *.docdir -util/log.ml +src/util/log.ml msat diff --git a/Makefile b/Makefile index ffd07fd8..44c6245f 100644 --- a/Makefile +++ b/Makefile @@ -26,10 +26,10 @@ test: bin @/usr/bin/time -f "%e" ./tests/run mcsat enable_log: - cd util; ln -sf log_real.ml log.ml + cd src/util; ln -sf log_real.ml log.ml disable_log: - cd util; ln -sf log_dummy.ml log.ml + cd src/util; ln -sf log_dummy.ml log.ml log: cat _build/$(LOG) || true