diff options
Diffstat (limited to 'src/trace/coqTerms.ml')
| -rw-r--r-- | src/trace/coqTerms.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/trace/coqTerms.ml b/src/trace/coqTerms.ml index 8046a47..d71ba45 100644 --- a/src/trace/coqTerms.ml +++ b/src/trace/coqTerms.ml @@ -170,7 +170,7 @@ let make_certif_ops modules = gen_constant modules "LiaMicromega", gen_constant modules "LiaDiseq", gen_constant modules "SplArith", gen_constant modules "SplDistinctElim") -(** Usefull construction *) +(** Useful construction *) let ceq_refl_true = lazy (SmtMisc.mklApp crefl_equal [|Lazy.force cbool;Lazy.force ctrue|]) |