diff options
| author | johnvg | 2012-08-16 09:37:32 +0000 |
|---|---|---|
| committer | johnvg | 2012-08-16 09:37:32 +0000 |
| commit | 467696b7a7ae1e94d073cde1d1cdb7df65d0fd3c (patch) | |
| tree | 5c9028040cab79029470d4ecc98f18492928d363 /backendC/CleanCompilerLib.mcp.exp | |
| parent | optimize function get_mark (diff) | |
optimize local function new_inequality in determine_attribute_of_cons,
(the inequality is often already present)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2156 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backendC/CleanCompilerLib.mcp.exp')
0 files changed, 0 insertions, 0 deletions