Index: lib/src/prism/tests/languages/mizar/variable_feature.test |
diff --git a/lib/src/prism/tests/languages/mizar/variable_feature.test b/lib/src/prism/tests/languages/mizar/variable_feature.test |
new file mode 100644 |
index 0000000000000000000000000000000000000000..87158a6c4787a63add525a15efcec9d1ecc0eb3f |
--- /dev/null |
+++ b/lib/src/prism/tests/languages/mizar/variable_feature.test |
@@ -0,0 +1,17 @@ |
+P: |
+CQC_THE1: |
+PRE_FF: |
+NAT_1: |
+ |
+---------------------------------------------------- |
+ |
+[ |
+ ["variable", "P"], ["punctuation", ":"], |
+ ["variable", "CQC_THE1"], ["punctuation", ":"], |
+ ["variable", "PRE_FF"], ["punctuation", ":"], |
+ ["variable", "NAT_1"], ["punctuation", ":"] |
+] |
+ |
+---------------------------------------------------- |
+ |
+Checks for variables. |