rename to rules.k.tmpl

Because it's not a valid K file, since it lacks module wrapper and imports.
dapphub · Feb 2, 2020 · 48ccbf8 · 48ccbf8
1 parent b534129
commit 48ccbf8
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -104,7 +104,7 @@ klab debug <hash>
 
 klab comes with a set of pre-defined K rewrite rules, additional to the ones
 defined in [evm-semantics](https://github.com/kframework/evm-semantics). They
-are located in `resources/rules.k`.
+are located in `resources/rules.k.tmpl`.
 
 ### Key Bindings
 

diff --git a/lib/build.js b/lib/build.js
@@ -175,7 +175,7 @@ endmodule
     .join("\n")
 
   const rules_k = rules_template([
-    fs.readFileSync(path.join(__dirname, "../resources/rules.k")).toString(),
+    fs.readFileSync(path.join(__dirname, "../resources/rules.k.tmpl")).toString(),
     rules
   ])
   const rules_path = path.join(KLAB_OUT, "rules.k");

diff --git a/resources/rules.k → resources/rules.k.tmpl b/resources/rules.k → resources/rules.k.tmpl