diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-13 12:47:54 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-13 12:47:54 -0400 |
| commit | 726ec9075caf849329f0415f151c40620482c2ac (patch) | |
| tree | abf89b555fba6973e5f48523ef2b4ae5a26442a3 /src/mono_print.sml | |
| parent | 676080ae156380bb2ef1098f1509ad7d852dccca (diff) | |
Turn on gcc -O3
Diffstat (limited to 'src/mono_print.sml')
0 files changed, 0 insertions, 0 deletions