diff options
Diffstat (limited to 'src/versions/native')
| -rw-r--r-- | src/versions/native/Make | 1 | ||||
| -rw-r--r-- | src/versions/native/Makefile | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/src/versions/native/Make b/src/versions/native/Make index 406ebb9..57e85b8 100644 --- a/src/versions/native/Make +++ b/src/versions/native/Make @@ -111,6 +111,7 @@ spl/Syntactic.v spl/Arithmetic.v spl/Operators.v +Conversion_tactics.v Misc.v SMTCoq.v SMT_terms.v diff --git a/src/versions/native/Makefile b/src/versions/native/Makefile index 540b7ce..d443fe9 100644 --- a/src/versions/native/Makefile +++ b/src/versions/native/Makefile @@ -139,6 +139,7 @@ VFILES:=Trace.v\ SMT_terms.v\ SMTCoq.v\ Misc.v\ + Conversion_tactics.v\ spl/Operators.v\ spl/Arithmetic.v\ spl/Syntactic.v\ |