Commit f3b4819071467e473d298259dd77c745cae09bb3

Thomas de Grivel 2023-09-20T20:22:26

README

1
2
3
4
5
6
7
8
9
10
11
12
13
diff --git a/README.md b/README.md
index 0b2e673..89f68d4 100644
--- a/README.md
+++ b/README.md
@@ -177,7 +177,7 @@ Script interpreter. Works the same as ic3 but is not interactive.
    - DONE comparison operators
    - cast
    - arrays
-     - parse
+     - DONE parse
      - DONE inspect
      - DONE [][][] data
    - lists