rename rules.k.tmp to rules.k

dapphub · Feb 2, 2020 · 25b266d · 25b266d
1 parent a0c9ce1
commit 25b266d
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
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.tmp")).toString(),
+    fs.readFileSync(path.join(__dirname, "../resources/rules.k")).toString(),
     rules
   ])
   const rules_path = path.join(KLAB_OUT, "rules.k");

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