From 48ccbf8f0c5b809098873f506ead9675f162bf62 Mon Sep 17 00:00:00 2001 From: Lorenzo Manacorda Date: Fri, 31 Jan 2020 16:53:34 +0100 Subject: [PATCH] rename to rules.k.tmpl Because it's not a valid K file, since it lacks module wrapper and imports. --- README.md | 2 +- lib/build.js | 2 +- resources/{rules.k => rules.k.tmpl} | 0 3 files changed, 2 insertions(+), 2 deletions(-) rename resources/{rules.k => rules.k.tmpl} (100%) diff --git a/README.md b/README.md index cb803abd..7bffb426 100644 --- a/README.md +++ b/README.md @@ -104,7 +104,7 @@ klab debug 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 index a05d0f0d..a1fcc7be 100644 --- 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 b/resources/rules.k.tmpl similarity index 100% rename from resources/rules.k rename to resources/rules.k.tmpl