Commit d6adf7df authored by pfdietz's avatar pfdietz

Fixed cut/paste error (duplicated test name.)

parent 72ceecc3
......@@ -54,7 +54,7 @@
(notnot-mv (zerop 0.0d0))
t)
(deftest zerop.7
(deftest zerop.7a
(notnot-mv (zerop 0.0l0))
t)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment