fix neg test

ucsd-progsys · Dec 18, 2024 · f84a7e8 · f84a7e8
1 parent f502dd0
commit f84a7e8
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/tests/neg/MyBagDefine.hs b/tests/neg/MyBagDefine.hs
@@ -10,7 +10,3 @@ import Data.Set
 {-@ thm_emp :: x:k -> { empty /= sng x } @-}
 thm_emp :: (Ord k) => k -> ()
 thm_emp x = const () (sng x)
-
-{-@ thm_emp' :: x:k -> xs:Bag k -> { empty /= put x xs } @-}
-thm_emp' :: (Ord k) => k -> Bag k -> ()
-thm_emp' x xs = const () (put x xs)