diff options
Diffstat (limited to 'src/versions/native/Make')
| -rw-r--r-- | src/versions/native/Make | 1 |
1 files changed, 1 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 |