Exchange: Unlocked: always explicitly rewrite

Because it does get written to, and we don't want the spec to change semantically depending on whether there are other rewrites.
dapp-org · Feb 26, 2020 · 1ceb5b1 · 1ceb5b1
1 parent 7ccd34f
commit 1ceb5b1
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/deps/klab b/deps/klab
diff --git a/uniswap-v2-core b/uniswap-v2-core
+1 −1		examples/createContract/dapp/out/dapp.sol.json
+20 −4		examples/createContract/dapp/src/createContract.sol
+63 −5		examples/createContract/src/spec.md
+12 −2		examples/createContract/src/storage.md
+8 −1		lib/build.js
+3 −0		lib/config.js
+10 −6		libexec/klab-build-js
+1 −2		libexec/klab-prove
+2 −0		libexec/klab-prove-all
+2 −1		resources/rules.k.tmpl