repositories / clean-tests.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
sep of concerns
[clean-tests.git] / expr / exist / whileMult.dcl
diff --git a/expr/exist/whileMult.dcl b/expr/exist/whileMult.dcl
index 6179bf5..4a8b991 100644 (file)
--- a/expr/exist/whileMult.dcl
+++ b/expr/exist/whileMult.dcl
@@ -8,3 +8,4 @@ import while
 (*.) a b :== WInt (WMult a b)
 
 instance evali WMult
+instance print WMult