diff options
Diffstat (limited to 'test-suite/typeclasses/clrewrite.v')
-rw-r--r-- | test-suite/typeclasses/clrewrite.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/typeclasses/clrewrite.v b/test-suite/typeclasses/clrewrite.v index 5c56a0daf..2978fda26 100644 --- a/test-suite/typeclasses/clrewrite.v +++ b/test-suite/typeclasses/clrewrite.v @@ -108,4 +108,4 @@ Section Trans. apply H0. Qed. -End Trans.
\ No newline at end of file +End Trans. |