diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-12-29 16:48:27 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-12-29 16:48:27 -0500 |
| commit | 9c5df80840ed4fc429f1727480ddec78c4cc2204 (patch) | |
| tree | bf3c40259ba61c3292b4d6df5e7120650d95544e /src/mono_print.sml | |
| parent | 1e7cbfec73ceabf3b98cec152d832009b8dd2abb (diff) | |
Treat getCookie as effectful
Diffstat (limited to 'src/mono_print.sml')
0 files changed, 0 insertions, 0 deletions