Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/MicroJava/JVM/JVMListExample.thy
changeset 13101 90b31354fe15
parent 13091 3d12669e599c
child 16417 9bc16273c2d4 
--- a/src/HOL/MicroJava/JVM/JVMListExample.thy	Tue Apr 30 12:15:48 2002 +0200
+++ b/src/HOL/MicroJava/JVM/JVMListExample.thy	Tue Apr 30 13:00:29 2002 +0200
@@ -72,10 +72,10 @@
         Load 0,
         Load 1,
         Invoke list_name append_name [Class list_name],
+        Pop,
         Load 0,
         Load 2,
         Invoke list_name append_name [Class list_name],
-        LitPush Unit,
         Return]"
 
   test_class :: "jvm_method class"
isabelle