diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-01-05 10:22:55 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-01-05 10:22:55 -0500 |
| commit | 38803135d0ab33c5728595c9a7b787d88751765f (patch) | |
| tree | d8dbbb510d6af4bdf77ba98ebc20d23eadaecd5f /src/specialize.sig | |
| parent | 85bd2c1f3750a8a918b93815e3550b462b113de5 (diff) | |
Loosen parsing of multiplication
Diffstat (limited to 'src/specialize.sig')
0 files changed, 0 insertions, 0 deletions