cleanup

leanprover-community · Dec 15, 2023 · 0ed7cfc · 0ed7cfc
1 parent a71ead0
commit 0ed7cfc
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/test/pickle_open_scoped_2.in b/test/pickle_open_scoped_2.in
@@ -1,5 +1,3 @@
 {"unpickleEnvFrom": "test/f.olean"}
 
-{"cmd": "open scoped X", "env": 0}
-
-{"cmd": "example : 39 = X.f 2 := rfl", "env": 1}
+{"cmd": "example : 39 = 2 ! := rfl", "env": 1}