From 0ca046677c3a4051e25434258ed9b077400107dc Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 6 Jul 2018 13:13:28 +0200
Subject: Remove redundant parentheses

---
 Assignment2/src/Z3.icl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Assignment2/src/Z3.icl')

diff --git a/Assignment2/src/Z3.icl b/Assignment2/src/Z3.icl
index 2efe664..cb054e1 100644
--- a/Assignment2/src/Z3.icl
+++ b/Assignment2/src/Z3.icl
@@ -53,4 +53,4 @@ getModel z3 w
 = (out, w)
 
 trace_s :: String -> String
-trace_s s = trace_n s s
+trace_s s = trace s s
-- 
cgit v1.2.3