reverting some changes for testing

BerkeleyLearnVerify · Feb 25, 2025 · 114103d · 114103d
1 parent 3e36fdf
commit 114103d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/scenic/syntax/scenic.gram b/src/scenic/syntax/scenic.gram
@@ -987,7 +987,7 @@ scenic_modal_behavior_header: a=(x=(scenic_precondition_stmt | scenic_invariant_
 
 # Modal Statememts
 
-scenic_modal_stmt:
+# scenic_modal_stmt:
 
 # Initial Mode
 # -------