Update stw mention in concrete examples

CakeML · Aug 28, 2024 · 2752848 · 2752848
1 parent 4f8e571
commit 2752848
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pancake/parser/panConcreteExamplesScript.sml b/pancake/parser/panConcreteExamplesScript.sml
@@ -229,7 +229,7 @@ val ex9 = ‘
    var c = @base + 16;
    var d = 1;
    @out_morefun(a,b,c,d);
-   stw @base, ic;
+   st @base, ic;
    return 0;
  }’;