Updates to interpreter

Experimenting with porting riscv model to new typechecker

1 files changed, 1 insertions, 0 deletions

diff --git a/language/l2.ott b/language/l2.ott
index 092d7077..ea4a8a6a 100644
--- a/language/l2.ott
+++ b/language/l2.ott
@@ -786,6 +786,7 @@ exp :: 'E_' ::=
 % this can be used to break out of for loops
   | exit exp						:: :: exit
     {{ com halt all current execution }}
+  | ref id                                     :: :: ref
   | throw exp                                  :: :: throw
   | try exp catch pexp1 .. pexpn             :: :: try
 %, potentially calling a system, trap, or interrupt handler with exp