diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-08-30 16:51:21 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-08-30 16:51:21 +0200 |
commit | ee84267a0632efda2759472243f255c91713ee6c (patch) | |
tree | 11c482fc9479eec3c3e4fc35d20986eba0d5c23f | |
parent | bf3274ff4c589016384d8ea6ffe6b44f4ae3dc41 (diff) | |
parent | ff373512da45887621edddf775680bbf1ac7f0b5 (diff) | |
download | smtcoq-ee84267a0632efda2759472243f255c91713ee6c.tar.gz smtcoq-ee84267a0632efda2759472243f255c91713ee6c.zip |
Merge remote-tracking branch 'remotes/origin/coq-8.12' into coq-8.13
-rw-r--r-- | src/PArray/PArray.v (renamed from src/Array/PArray.v) | 0 | ||||
-rw-r--r-- | src/_CoqProject | 4 | ||||
-rw-r--r-- | src/trace/coqInterface.ml | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/src/Array/PArray.v b/src/PArray/PArray.v index 35d68b4..35d68b4 100644 --- a/src/Array/PArray.v +++ b/src/PArray/PArray.v diff --git a/src/_CoqProject b/src/_CoqProject index 41e0306..9ac5799 100644 --- a/src/_CoqProject +++ b/src/_CoqProject @@ -28,10 +28,10 @@ -I trace -I verit -I zchaff --I Array +-I PArray -I ../3rdparty/alt-ergo -Array/PArray.v +PArray/PArray.v bva/BVList.v bva/Bva_checker.v diff --git a/src/trace/coqInterface.ml b/src/trace/coqInterface.ml index 96fe6c1..f11563c 100644 --- a/src/trace/coqInterface.ml +++ b/src/trace/coqInterface.ml @@ -110,7 +110,7 @@ let cint = gen_constant int63_module "int" (* PArray *) -let parray_modules = [["SMTCoq";"Array";"PArray"]] +let parray_modules = [["SMTCoq";"PArray";"PArray"]] let cmake = gen_constant parray_modules "make" let cset = gen_constant parray_modules "set" |