Removing labeled choice, updating testlabel, and disabling an optmization related to Throw

1 files changed, 2 insertions, 2 deletions

diff --git a/lpprint.c b/lpprint.c
index 122d2e5..ff69a6a 100644
--- a/lpprint.c
+++ b/lpprint.c
@@ -112,7 +112,7 @@ void printinst (const Instruction *op, const Instruction *p) {
       printf("%d", p->i.aux);
       break;
     }
-                case ILabChoice: case IRecov: { /* labeled failure */
+                case IRecov: { /* labeled failure */
       printjmp(op, p);
       printcharset((p+2)->buff);
       break;
@@ -223,7 +223,7 @@ void printtree (TTree *tree, int ident) {
     default: {
       int sibs = numsiblings[tree->tag];
       printf("\n");
-      if (tree->tag == TLabChoice || tree->tag == TRecov) { /* labeled failure */
+      if (tree->tag == TRecov) { /* labeled failure */
         printcharset(treelabelset(tree));
         printf("\n");
                         }