1 files changed, 3 insertions, 0 deletions
diff --git a/CStack.dcl b/CStack.dcl
index 8aa6824..31d72de 100644
--- a/CStack.dcl
+++ b/CStack.dcl
@@ -1,11 +1,14 @@
 definition module ABC.CStack
 
+from StdOverloaded import class toString
 from ABC.Def import ::InstrId
 
 :: CSrc    :== Int
 :: CDst    :== Int
 :: CStack (:== [InstrId])
 
+instance toString CStack
+
 cs_init :: CStack
 cs_get  :: CSrc CStack -> InstrId
 cs_popn :: CSrc CStack -> CStack