X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=expr%2Fexist%2FwhileMult.dcl;h=4a8b99145ec38a97005a42167e82cb435b3a3db5;hb=1ed4222009881d320de99275c369c4f55ef56237;hp=6179bf51ab9fbfbb5da0901946fc9b41d18938d0;hpb=938d3406c1e406db293024b9a5710579a0090893;p=clean-tests.git

diff --git a/expr/exist/whileMult.dcl b/expr/exist/whileMult.dcl
index 6179bf5..4a8b991 100644
--- 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