1 files changed, 1 insertions, 1 deletions

diff --git a/example.pl b/example.pl
index b0c6ebe..8037d1c 100644
--- a/example.pl
+++ b/example.pl
@@ -2,4 +2,4 @@
 
 math(A,B,C,D) :- D is A + B + C * A.
 
-true :- 1 = 1.
+true.
\ No newline at end of file