diff options
Diffstat (limited to 'src/extraction/verit_checker.ml')
| -rw-r--r-- | src/extraction/verit_checker.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/extraction/verit_checker.ml b/src/extraction/verit_checker.ml index 20040bc..3f9a701 100644 --- a/src/extraction/verit_checker.ml +++ b/src/extraction/verit_checker.ml @@ -16,6 +16,7 @@ open SmtMisc open SmtCertif +open SmtCommands open SmtForm open SmtAtom open SmtTrace @@ -25,7 +26,7 @@ open Smtlib2_genConstr (* open Smt_checker *) -module Mc = Micromega +module Mc = Structures.Micromega_plugin_Certificate.Mc let mkInt = ExtrNative.of_int |