diff options
| author | Andrew Waterman | 2015-08-10 17:32:41 -0700 |
|---|---|---|
| committer | Andrew Waterman | 2015-08-10 17:32:41 -0700 |
| commit | ec98099598bacc4baf7e6e19e17aed3e1eb95467 (patch) | |
| tree | 5f1163f0d53a4b6bfa24bad041db5ce361e8257a /bin | |
| parent | 4dadc8c2adb92cbae81590681acd91226b94b211 (diff) | |
Allow SInt := SInt
I had inadvertently disallowed it.
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions