update test case

classicwuhao · Mar 14, 2022 · 9ba67e6 · 9ba67e6
1 parent fc44cf3
commit 9ba67e6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/query_examples/abstract.use b/query_examples/abstract.use
@@ -26,5 +26,6 @@ module QueryTest
 	select A with A::* as t1
 -- expected output: to report a conflict in the invariant.
 	select A,B with A::* as t2
+-- expected output: no conflicts reported.
 end