From 67627df011aed89e01c890938b7db587ae768327 Mon Sep 17 00:00:00 2001
From: Claude Marche <Claude.Marche@inria.fr>
Date: Fri, 25 May 2018 13:54:17 +0200
Subject: [PATCH] examples/prover: cleaning

---
 .gitignore                                            | 4 ++--
 examples/prover/build/subdir_for_extraction_and_build | 0
 2 files changed, 2 insertions(+), 2 deletions(-)
 delete mode 100644 examples/prover/build/subdir_for_extraction_and_build

diff --git a/.gitignore b/.gitignore
index 7b4cd09b41..2249746a4e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -301,9 +301,9 @@ pvsbin/
 /examples/in_progress/bigInt/*__*.ml
 /examples/in_progress/mp/jsmain.js
 /examples/in_progress/mp/*__*.ml
-/examples/prover/build/*__*.ml
 /examples/prover/.depend
-/examples/prover/build/prover
+/examples/prover/prover
+/examples/prover/prover.ml
 /examples/prover/bench/*/*.out
 /examples/prover/bench/*/*.txt
 /examples/prover/bench1
diff --git a/examples/prover/build/subdir_for_extraction_and_build b/examples/prover/build/subdir_for_extraction_and_build
deleted file mode 100644
index e69de29bb2..0000000000
-- 
GitLab