diff options
| author | Damien George | 2014-08-15 22:39:08 +0100 |
|---|---|---|
| committer | Damien George | 2014-08-15 22:39:08 +0100 |
| commit | a5190a7dac7a73e676d6d649035f846ea92d2d2d (patch) | |
| tree | 92d64dc58f1515327ae484129a66847f669c6757 /tests/basics/set_symmetric_difference.py | |
| parent | 2ac4af6946543ae96cf3659468e1b8cabb057f85 (diff) | |
py: Fix typing of viper locals; allow default types in annotation.
Diffstat (limited to 'tests/basics/set_symmetric_difference.py')
0 files changed, 0 insertions, 0 deletions