diff options
| author | krasimir <krasimir@chalmers.se> | 2010-10-25 11:31:16 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-10-25 11:31:16 +0000 |
| commit | 2d3340b48a18a633b5a4eea8a9465fc3c954687b (patch) | |
| tree | 1a084ba2bf06986b0a7a362714ef5d0d2f619300 /examples/tutorial/old/semantics/LexBase.gf | |
| parent | 822a70cf7a5971cc9d60239f98243bc1a07e12a5 (diff) | |
During the compilation, the final message "OK" should be displayed only if we are not in silent mode. This was changed incidentally on the way.
Diffstat (limited to 'examples/tutorial/old/semantics/LexBase.gf')
0 files changed, 0 insertions, 0 deletions