diff options
Diffstat (limited to 'theories/Init/Datatypes.v')
| -rwxr-xr-x | theories/Init/Datatypes.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/Init/Datatypes.v b/theories/Init/Datatypes.v index d5a1179c84..2da0d6c02a 100755 --- a/theories/Init/Datatypes.v +++ b/theories/Init/Datatypes.v @@ -118,4 +118,4 @@ Definition CompOpp (r:comparison) := | Eq => Eq | Lt => Gt | Gt => Lt - end.
\ No newline at end of file + end. |