aboutsummaryrefslogtreecommitdiff
path: root/While.dcl
diff options
context:
space:
mode:
authorCamil Staps2016-03-31 23:23:47 +0200
committerCamil Staps2016-03-31 23:23:47 +0200
commitc68e592f23545dc7213c38af351161be2b5abece (patch)
tree734cc92708fb9072bcedf32cd055f9def03ecc4a /While.dcl
parentParentheses for ArithExpr/BoolExpr toString (diff)
Update toString in readme; own toString for BoolHEADmaster
Diffstat (limited to 'While.dcl')
-rw-r--r--While.dcl1
1 files changed, 1 insertions, 0 deletions
diff --git a/While.dcl b/While.dcl
index aeb685d..2440457 100644
--- a/While.dcl
+++ b/While.dcl
@@ -19,6 +19,7 @@ instance toState State
instance toState CharState
instance toString ArithExpr
+instance toString Bool
instance toString BoolExpr
instance toString Stm
instance toString Var