remove OP_SET_OPTION/SET_OPTION_PUSH

diff --git a/src/regexec.c b/src/regexec.c
index c841b66cd9c4cfb99bf16b049e12acbba8cea29e..6c76d85175ce14d4d657f6d9f18f530eece463e0 100644 (file)
--- a/src/regexec.c
+++ b/src/regexec.c
@@ -213,8 +213,6 @@ static OpInfoType OpInfo[] = {
   { OP_MEMORY_END_PUSH_REC, "mem-end-push-rec",     ARG_MEMNUM  },
   { OP_MEMORY_END,          "mem-end",              ARG_MEMNUM  },
   { OP_MEMORY_END_REC,      "mem-end-rec",          ARG_MEMNUM  },
-  { OP_SET_OPTION_PUSH,     "set-option-push",      ARG_OPTION  },
-  { OP_SET_OPTION,          "set-option",           ARG_OPTION  },
   { OP_FAIL,                "fail",                 ARG_NON },
   { OP_JUMP,                "jump",                 ARG_RELADDR },
   { OP_PUSH,                "push",                 ARG_RELADDR },