Remove private annotations on constructors.

Keep things simple for now, we could introduce this on demand.
GaloisInc · Jan 24, 2024 · 8abf33f · 8abf33f
1 parent a9c7751
commit 8abf33f
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/Cryptol/Parser.y b/src/Cryptol/Parser.y
@@ -469,8 +469,6 @@ enum_body                         :: { [TopLevel (EnumCon PName)] }
 enum_con                           :: { TopLevel (EnumCon PName) }
   : app_type                          {% mkConDecl Nothing   Public $1 }
   | doc  app_type                     {% mkConDecl (Just $1) Public $2 }
-  | 'private' 'v{' app_type 'v}'      {% mkConDecl Nothing   Private  $3 }
-  | doc 'private' 'v{' app_type 'v}'  {% mkConDecl (Just $1) Private  $4 }
 
 vars_comma                 :: { [ LPName ]  }
   : var                       { [ $1]      }