1 files changed, 10 insertions, 10 deletions
diff --git a/assignment-13/uFPL/Bootstrap.icl b/assignment-13/uFPL/Bootstrap.icl
index fea376f..b0ccf66 100644
--- a/assignment-13/uFPL/Bootstrap.icl
+++ b/assignment-13/uFPL/Bootstrap.icl
@@ -10,34 +10,34 @@ import uFPL.C
 import uFPL
 
 rwBool :: String Bool -> Expr Bool RW
-rwBool n d = EShared {sname=n, stype=CTBool, sinit=d, srepr=boolmap}
+rwBool n d = EShared {sname=n, stype=CTBool, sinit=d, srepr=boolmap, srw=RW}
 
 roBool :: String Bool -> Expr Bool RO
-roBool n d = EShared {sname=n, stype=CTBool, sinit=d, srepr=boolmap}
+roBool n d = EShared {sname=n, stype=CTBool, sinit=d, srepr=boolmap, srw=RO}
 
 rwInt :: String Int -> Expr Int RW
-rwInt n d = EShared {sname=n, stype=CTInt Sig, sinit=d, srepr=intmap}
+rwInt n d = EShared {sname=n, stype=CTInt Sig, sinit=d, srepr=intmap, srw=RW}
 
 roInt :: String Int -> Expr Int RO
-roInt n d = EShared {sname=n, stype=CTInt Sig, sinit=d, srepr=intmap}
+roInt n d = EShared {sname=n, stype=CTInt Sig, sinit=d, srepr=intmap, srw=RO}
 
 rwUInt :: String Int -> Expr Int RW
-rwUInt n d = EShared {sname=n, stype=CTInt Unsig, sinit=d, srepr=intmap}
+rwUInt n d = EShared {sname=n, stype=CTInt Unsig, sinit=d, srepr=intmap, srw=RW}
 
 roUInt :: String Int -> Expr Int RO
-roUInt n d = EShared {sname=n, stype=CTInt Unsig, sinit=d, srepr=intmap}
+roUInt n d = EShared {sname=n, stype=CTInt Unsig, sinit=d, srepr=intmap, srw=RO}
 
 rwLong :: String Int -> Expr Int RW
-rwLong n d = EShared {sname=n, stype=CTLong Sig, sinit=d, srepr=longmap}
+rwLong n d = EShared {sname=n, stype=CTLong Sig, sinit=d, srepr=longmap, srw=RW}
 
 roLong :: String Int -> Expr Int RO
-roLong n d = EShared {sname=n, stype=CTLong Sig, sinit=d, srepr=longmap}
+roLong n d = EShared {sname=n, stype=CTLong Sig, sinit=d, srepr=longmap, srw=RO}
 
 rwULong :: String Int -> Expr Int RW
-rwULong n d = EShared {sname=n, stype=CTLong Unsig, sinit=d, srepr=longmap}
+rwULong n d = EShared {sname=n, stype=CTLong Unsig, sinit=d, srepr=longmap, srw=RW}
 
 roULong :: String Int -> Expr Int RO
-roULong n d = EShared {sname=n, stype=CTLong Unsig, sinit=d, srepr=longmap}
+roULong n d = EShared {sname=n, stype=CTLong Unsig, sinit=d, srepr=longmap, srw=RO}
 
 boolmap :: Bimap Bool CExpr
 boolmap = {map_to=CEBool, map_from= \(CEBool b) -> b}