an explicit SAVE instruction

1 files changed, 14 insertions, 13 deletions

diff --git a/src/runtime/c/pgf/data.h b/src/runtime/c/pgf/data.h
index 154679ac8..864cf9b27 100644
--- a/src/runtime/c/pgf/data.h
+++ b/src/runtime/c/pgf/data.h
@@ -127,19 +127,20 @@ typedef enum {
   PGF_INSTR_CHECK_ARGS  =  0,
   PGF_INSTR_CASE        =  1,
   PGF_INSTR_CASE_LIT    =  2,
-  PGF_INSTR_ALLOC       =  3,
-  PGF_INSTR_PUT_CONSTR  =  4,
-  PGF_INSTR_PUT_CLOSURE =  5,
-  PGF_INSTR_PUT_LIT     =  6,
-  PGF_INSTR_SET         =  7,
-  PGF_INSTR_SET_PAD     =  8,
-  PGF_INSTR_PUSH_FRAME  =  9,
-  PGF_INSTR_PUSH        = 10,
-  PGF_INSTR_EVAL        = 11,
-  PGF_INSTR_DROP        = 14,
-  PGF_INSTR_JUMP        = 15,
-  PGF_INSTR_FAIL        = 16,
-  PGF_INSTR_ADD         = 17,
+  PGF_INSTR_SAVE        =  3,
+  PGF_INSTR_ALLOC       =  4,
+  PGF_INSTR_PUT_CONSTR  =  5,
+  PGF_INSTR_PUT_CLOSURE =  6,
+  PGF_INSTR_PUT_LIT     =  7,
+  PGF_INSTR_SET         =  8,
+  PGF_INSTR_SET_PAD     =  9,
+  PGF_INSTR_PUSH_FRAME  = 10,
+  PGF_INSTR_PUSH        = 11,
+  PGF_INSTR_EVAL        = 12,
+  PGF_INSTR_DROP        = 15,
+  PGF_INSTR_JUMP        = 16,
+  PGF_INSTR_FAIL        = 17,
+  PGF_INSTR_ADD         = 18,
 } PgfInstruction;
 
 typedef GuSeq PgfConcrs;