From 55e6cadc298beda9d079d99147b3cb0f50ce25ec Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 1 Jul 2016 09:11:02 +0200
Subject: Printing

---
 AStack.dcl | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'AStack.dcl')

diff --git a/AStack.dcl b/AStack.dcl
index 799892f..423b81c 100644
--- a/AStack.dcl
+++ b/AStack.dcl
@@ -1,11 +1,14 @@
 definition module ABC.AStack
 
+from StdOverloaded import class toString
 from ABC.Def import ::NodeId, ::NrArgs
 
 :: ASrc    :== Int
 :: ADst    :== Int
 :: AStack (:== [NodeId])
 
+instance toString AStack
+
 as_get    :: ASrc AStack -> NodeId
 as_init   :: AStack
 as_popn   :: NrArgs AStack -> AStack
-- 
cgit v1.2.3