diff options
Diffstat (limited to 'kernel/term.ml')
| -rw-r--r-- | kernel/term.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/term.ml b/kernel/term.ml index 16d63fcbfc..111bcfbf3c 100644 --- a/kernel/term.ml +++ b/kernel/term.ml @@ -1649,4 +1649,4 @@ let constr_display csr= Name(id) -> "Name("^(string_of_id id)^")" |Anonymous -> "Anonymous" in - mSG [<'sTR (term_display csr);'fNL>];; + mSG [<'sTR (term_display csr);'fNL>] |