Fixing a possible confusion with const-array used as an example for (…

…as ...)
SMT-LIB · Sep 20, 2024 · 40b0050 · 40b0050
1 parent 09549fc
commit 40b0050
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/papers/smt-lib-reference-v2.7-draft-24.09.20.pdf b/papers/smt-lib-reference-v2.7-draft-24.09.20.pdf
diff --git a/papers/smt-lib-reference-v2.7-draft.pdf b/papers/smt-lib-reference-v2.7-draft.pdf
@@ -1 +1 @@
-smt-lib-reference-v2.7-draft-24.09.09.pdf
+smt-lib-reference-v2.7-draft-24.09.20.pdf