From 1412071ea919bd404f9b96349f02e2d0057f160b Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 27 Jan 2018 00:23:32 -0700
Subject: [PATCH] disjunctions do operate correctly (so far), write more tests.

---
 src/tests.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/tests.rs b/src/tests.rs
index 20f4f079..737e2361 100644
--- a/src/tests.rs
+++ b/src/tests.rs
@@ -1168,9 +1168,11 @@ fn test_queries_on_conditionals()
 
     submit(&mut wam, "test(X, [X]) :- (atomic(X) -> true ; throw(type_error(atomic_expected, X))).
                       test(_, _).");
-    //TODO: this test should fail, not succeed! fix it.
+    
     assert_prolog_success!(&mut wam, "?- catch(test(a, [a]), type_error(E), true).",
                            [["E = _6"], ["E = _6"]]);
+
+    //TODO: write tests for calling ;, ->, confirm behavior is correct.
 }
 
 #[test]
-- 
2.54.0