diff options
Diffstat (limited to 'src/SMTCoq.v')
-rw-r--r-- | src/SMTCoq.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/SMTCoq.v b/src/SMTCoq.v index 6b69058..398d066 100644 --- a/src/SMTCoq.v +++ b/src/SMTCoq.v @@ -10,7 +10,7 @@ (**************************************************************************) -Require Export PropToBool BoolToProp. (* Before SMTCoq.State *) +Require Export PropToBool. Require Export Int63 List PArray. Require Export SMTCoq.State SMTCoq.SMT_terms SMTCoq.Trace SMT_classes_instances. Require Export Tactics. |