diff options
| author | Damien George | 2016-02-15 09:38:02 +0000 |
|---|---|---|
| committer | Damien George | 2016-02-15 09:38:02 +0000 |
| commit | 9598f36a84e19045e2978ab902e2367dc2fa12d4 (patch) | |
| tree | dd8ac6e74492e36b8d1dd9eb8446228fec87040a /examples/pyb.py | |
| parent | 94e4bd456fa4faf3fceb455c51c2c87d24d34fc6 (diff) | |
py/emitnative: Add check that RHS of viper store is of integral type.
Diffstat (limited to 'examples/pyb.py')
0 files changed, 0 insertions, 0 deletions