Fix <s> cell initialization

kframework · Jul 18, 2019 · 3dd25e2 · 3dd25e2
1 parent d9c9471
commit 3dd25e2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/kink.md b/src/kink.md
@@ -49,7 +49,7 @@ module KINK-CONFIGURATION
                    </modules>
                 </definition>
                 <exit-code exit=""> 1 </exit-code>
-                <s> $STRATEGY:K </s>
+                initSCell(.Map)
                 <kinkDeployedDir> token2String($KINKDEPLOYEDDIR:Path) </kinkDeployedDir>
 endmodule
 ```