diff options
Diffstat (limited to 'subprojects/language/src/main/resources')
| -rw-r--r-- | subprojects/language/src/main/resources/tools/refinery/language/library/builtin.refinery | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/subprojects/language/src/main/resources/tools/refinery/language/library/builtin.refinery b/subprojects/language/src/main/resources/tools/refinery/language/library/builtin.refinery index 09c7d92b..6ae6beb1 100644 --- a/subprojects/language/src/main/resources/tools/refinery/language/library/builtin.refinery +++ b/subprojects/language/src/main/resources/tools/refinery/language/library/builtin.refinery | |||
| @@ -8,6 +8,8 @@ pred exists(node). | |||
| 8 | 8 | ||
| 9 | pred equals(left, right). | 9 | pred equals(left, right). |
| 10 | 10 | ||
| 11 | abstract class container extends node. | ||
| 12 | |||
| 11 | abstract class contained extends node. | 13 | abstract class contained extends node. |
| 12 | 14 | ||
| 13 | pred contains(container, contained contained). | 15 | pred contains(container, contained contained). |