From 8e0270ea4d800d4f52d6c563dbb07dbb6e8cd1b7 Mon Sep 17 00:00:00 2001 From: David Robillard Date: Mon, 9 Nov 2020 12:11:13 +0100 Subject: Rename test directory --- test/TriGTests/trig-subm-07.trig | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 test/TriGTests/trig-subm-07.trig (limited to 'test/TriGTests/trig-subm-07.trig') diff --git a/test/TriGTests/trig-subm-07.trig b/test/TriGTests/trig-subm-07.trig new file mode 100644 index 00000000..b5e254af --- /dev/null +++ b/test/TriGTests/trig-subm-07.trig @@ -0,0 +1,4 @@ +# 'a' only allowed as a predicate +@prefix : . +{:a a :b .} + {:a a :b .} -- cgit v1.2.1