changes to examples

mmalvarez · Mar 7, 2018 · b0f394b · b0f394b
1 parent fd09107
commit b0f394b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/example/LLLL.thy b/example/LLLL.thy
@@ -6909,4 +6909,4 @@ definition elle_run :: "ll1 \<Rightarrow> nat \<Rightarrow> instruction_result o
 
 value [simp] "elle_run (ll1.LSeq [ll1.LLab 0, ll1.L (Stack (PUSH_N [byteFromNat 0]))]) 100"
 value [simp] "elle_run (ll1.LSeq [ll1.LLab 0, ll1.L (Stack (PUSH_N [byteFromNat 0])), ll1.LJmpI 0]) 100"
-value [simp] "elle_run (ll1.LSeq [ll1.LLab 0, ll1.L (Stack (PUSH_N [byteFromNat 1])), ll1.LJmpI 0]) 100"
+value [simp] "elle_run (ll1.LSeq [ ll1.LLab 0, ll1.L (Stack (PUSH_N [byteFromNat 0])) , ll1.LJmpI 0 ]) 100"