diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-10-03 08:02:54 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-10-03 08:02:54 +0000 |
| commit | 8290be0eb203044c9a378ab8fda2971ebd196fd8 (patch) | |
| tree | 9fafd94fb0d8501faa719d00e12cd74aa54eae5d /src/GF/Compile | |
| parent | 759ee4f926107eb2babf665261b3e9e034b8a2f1 (diff) | |
made variants checking symmetric for Ints m == Ints n in PGF.Check
Diffstat (limited to 'src/GF/Compile')
0 files changed, 0 insertions, 0 deletions