diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-08-23 15:35:39 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-08-23 15:35:39 +0000 |
| commit | ed06f631e968993c2b2681250705a42c4bbcedc4 (patch) | |
| tree | 5fad5eba7e74021431188f6d66e5a69bcdda3421 /examples/tutorial/semantics/BaseI.gf | |
| parent | 3d22963267a592d11ea30c09bef24de3057b4595 (diff) | |
removed repeated CPU time printing in GFI
Diffstat (limited to 'examples/tutorial/semantics/BaseI.gf')
0 files changed, 0 insertions, 0 deletions