From a57034a3afa166979bd88232b810dc88c3ae2bae Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Wed, 3 Jan 2018 09:19:48 +0100
Subject: Cleanup

---
 assignment-13/Bootstrap.dcl | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'assignment-13/Bootstrap.dcl')

diff --git a/assignment-13/Bootstrap.dcl b/assignment-13/Bootstrap.dcl
index 682714c..eaf1521 100644
--- a/assignment-13/Bootstrap.dcl
+++ b/assignment-13/Bootstrap.dcl
@@ -1,5 +1,7 @@
 definition module Bootstrap
 
+from StdOverloaded import class zero
+
 import ufpl
 
 rwBool :: String Bool -> Expr Bool RW
@@ -31,3 +33,5 @@ false :: Expr Bool RO
 true :: Expr Bool RO
 
 rts :: String
+
+instance zero CProg
-- 
cgit v1.2.3