1 files changed, 1 insertions, 1 deletions
diff --git a/subprojects/language/src/test/java/tools/refinery/language/tests/ProblemParsingTest.java b/subprojects/language/src/test/java/tools/refinery/language/tests/ProblemParsingTest.java
index 72d57f54..17ae5fbb 100644
--- a/subprojects/language/src/test/java/tools/refinery/language/tests/ProblemParsingTest.java
+++ b/subprojects/language/src/test/java/tools/refinery/language/tests/ProblemParsingTest.java
@@ -42,7 +42,7 @@ class ProblemParsingTest {
                                error invalidTaxStatus(Person p) <->
                                        taxStatus(p, CHILD), children(p, _q).
-                                indiv family.
+                                atom family.
                                Family(family).
                                members(family, anne): true.
                                members(family, bob).

diff --git a/subprojects/language/src/test/java/tools/refinery/language/tests/ProblemParsingTest.java b/subprojects/language/src/test/java/tools/refinery/language/tests/ProblemParsingTest.java index 72d57f54..17ae5fbb 100644 --- a/subprojects/language/src/test/java/tools/refinery/language/tests/ProblemParsingTest.java +++ b/subprojects/language/src/test/java/tools/refinery/language/tests/ProblemParsingTest.java
@@ -42,7 +42,7 @@ class ProblemParsingTest {
42	error invalidTaxStatus(Person p) <->	42	error invalidTaxStatus(Person p) <->
43	taxStatus(p, CHILD), children(p, _q).	43	taxStatus(p, CHILD), children(p, _q).
44		44
45	indiv family.	45	atom family.
46	Family(family).	46	Family(family).
47	members(family, anne): true.	47	members(family, anne): true.
48	members(family, bob).	48	members(family, bob).