diff options
Diffstat (limited to 'contrib/field/Field.v')
| -rw-r--r-- | contrib/field/Field.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/field/Field.v b/contrib/field/Field.v index df2a44f3e7..a7cf332a79 100644 --- a/contrib/field/Field.v +++ b/contrib/field/Field.v @@ -12,4 +12,4 @@ Require Export Field_Compl. Require Export Field_Theory. Require Export Field_Tactic. -(* Command declarations are moved to the ML side *) +(* Command declarations are moved to the ML side *)
\ No newline at end of file |