diff options
Diffstat (limited to 'assignment-13/uFPL/Bootstrap.dcl')
| -rw-r--r-- | assignment-13/uFPL/Bootstrap.dcl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/assignment-13/uFPL/Bootstrap.dcl b/assignment-13/uFPL/Bootstrap.dcl index 201957c..583dc75 100644 --- a/assignment-13/uFPL/Bootstrap.dcl +++ b/assignment-13/uFPL/Bootstrap.dcl @@ -32,6 +32,8 @@ millis :: Expr Int RO false :: Expr Bool RO true :: Expr Bool RO +predefShares :: Shares + rts :: String instance zero CProg |