From 541a95d81e05afdfdadb34ad76da850c212535ec Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 23 Mar 2018 16:14:06 +0000
Subject: Fix build issue

---
 language/bytecode.ott | 36 ++++++++++++++++++------------------
 1 file changed, 18 insertions(+), 18 deletions(-)

(limited to 'language/bytecode.ott')

diff --git a/language/bytecode.ott b/language/bytecode.ott
index 5977aae2..d15418a4 100644
--- a/language/bytecode.ott
+++ b/language/bytecode.ott
@@ -119,25 +119,25 @@ iannot :: 'IA_' ::=
 
 instr :: 'I_' ::=
   {{ aux _ iannot }}
-  | ctyp id                                   :: :: decl
-  | alloc ctyp id                             :: :: alloc
-  | ctyp id = cval                            :: :: init
+  | ctyp id                                        :: :: decl
+  | alloc ctyp id                                  :: :: alloc
+  | ctyp id = cval                                 :: :: init
   | if ( cval ) { instr0 ; ... ; instrn }
-    else { instr0 ; ... ; instrm } : ctyp     :: :: if
-  | jump ( cval ) string                      :: :: jump
-  | clexp = id ( cval0 , ... , cvaln ) : ctyp :: :: funcall
-  | clexp = cval                              :: :: copy
-  | clexp = ( ctyp ) id : ctyp'               :: :: convert
-  | clear ctyp id                             :: :: clear
-  | return cval                               :: :: return
-  | { instr0 ; ... ; instrn }                 :: :: block
-  | try { instr0 ; ... ; instrn }             :: :: try_block
-  | throw cval                                :: :: throw
-  | '//' string                               :: :: comment
-  | C string                                  :: :: raw % only used for GCC attributes
-  | string :                                  :: :: label
-  | goto string                               :: :: goto
-  | match_failure                             :: :: match_failure
+    else { instr0 ; ... ; instrm } : ctyp          :: :: if
+  | jump ( cval ) string                           :: :: jump
+  | clexp = bool id ( cval0 , ... , cvaln ) : ctyp :: :: funcall
+  | clexp = cval                                   :: :: copy
+  | clexp = ( ctyp ) id : ctyp'                    :: :: convert
+  | clear ctyp id                                  :: :: clear
+  | return cval                                    :: :: return
+  | { instr0 ; ... ; instrn }                      :: :: block
+  | try { instr0 ; ... ; instrn }                  :: :: try_block
+  | throw cval                                     :: :: throw
+  | '//' string                                    :: :: comment
+  | C string                                       :: :: raw % only used for GCC attributes
+  | string :                                       :: :: label
+  | goto string                                    :: :: goto
+  | match_failure                                  :: :: match_failure
 
 % For optimising away allocations.
   | reset ctyp id                             :: :: reset
-- 
cgit v1.2.3