diff options
Diffstat (limited to 'src/trace/smtBtype.ml')
-rw-r--r-- | src/trace/smtBtype.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/trace/smtBtype.ml b/src/trace/smtBtype.ml index 94339f6..1e05dc4 100644 --- a/src/trace/smtBtype.ml +++ b/src/trace/smtBtype.ml @@ -13,7 +13,7 @@ open SmtMisc open CoqTerms -(** Syntaxified version of Coq type *) +(** Reified version of Coq type *) type uninterpreted_type = (* Uninterpreted type for which a CompDec is already known |