diff options
Diffstat (limited to 'contrib/subtac/test/ListsTest.v')
| -rw-r--r-- | contrib/subtac/test/ListsTest.v | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/contrib/subtac/test/ListsTest.v b/contrib/subtac/test/ListsTest.v index cc11c15136..b8d13fe6bc 100644 --- a/contrib/subtac/test/ListsTest.v +++ b/contrib/subtac/test/ListsTest.v @@ -74,4 +74,3 @@ Section Nth. Defined. End Nth. -Section |