diff options
Diffstat (limited to 'src/trace/coqInterface.ml')
| -rw-r--r-- | src/trace/coqInterface.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/trace/coqInterface.ml b/src/trace/coqInterface.ml index b462881..81a22c9 100644 --- a/src/trace/coqInterface.ml +++ b/src/trace/coqInterface.ml @@ -121,7 +121,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" |