From 87eb79c4de62d700912cf4efd818d32e78252c7e Mon Sep 17 00:00:00 2001 From: Semyon Date: Mon, 22 May 2023 13:55:44 +0300 Subject: [PATCH] RSM example in task12.md --- tasks/task12.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tasks/task12.md b/tasks/task12.md index b812b1814..b07d96a8b 100644 --- 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