fix: cap memory in proof

exercism · Nov 23, 2023 · 46ceb46 · 46ceb46
1 parent b42dac9
commit 46ceb46
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/exercises/practice/circular-buffer/.meta/proof.ci.wat b/exercises/practice/circular-buffer/.meta/proof.ci.wat
@@ -1,5 +1,5 @@
 (module
-  (memory 1)
+  (memory 1 1)
   (global $head (mut i32) (i32.const -1))
   (global $tail (mut i32) (i32.const -1))
   (global $capacity (mut i32) (i32.const 0))