RSM example in task12.md

FormalLanguageConstrainedPathQuerying · May 22, 2023 · 87eb79c · 87eb79c
1 parent dadd56e
commit 87eb79c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tasks/task12.md b/tasks/task12.md
@@ -56,7 +56,7 @@ let g = set start of (set finals of g' to (vertices of g')) to {0..100}
 let l1 = "l1" | "l2"
 
 let q1 = ("type" | l1)*
-let q2 = "sub_class_of" l1
+let q2 = "sub_class_of" | l1 | q2
 
 let res1 = g & q1
 let res2 = g & q2