Get rid of verific warning in abstraction example
authorClaire Wolf <claire@symbioticeda.com>
Fri, 3 Apr 2020 13:28:23 +0000 (15:28 +0200)
committerClaire Wolf <claire@symbioticeda.com>
Fri, 3 Apr 2020 13:28:23 +0000 (15:28 +0200)
commita4885ce4942367e4e170d7e36f19a2388acc538d
tree0bf501308a9203c0cc3fefaf8b2ca4dd98766ac2
parentd18656084c66506f5822484a63a8fd0b0fc39e55
Get rid of verific warning in abstraction example

Signed-off-by: Claire Wolf <claire@symbioticeda.com>
docs/examples/abstract/demo.v