summaryrefslogtreecommitdiff
path: root/src/elab_print.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-09-13 14:58:57 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-09-13 14:58:57 -0400
commita5a647f670f8e2fa7749e29aee39e2511afb2a21 (patch)
tree6420215127061987b95af0991bae5dc11a7dd986 /src/elab_print.sml
parent14c2a9e4b84d7344b40c7398c8896338939bfcc1 (diff)
Change prefix.cm to work with latest smlnj Debian package
Diffstat (limited to 'src/elab_print.sml')
0 files changed, 0 insertions, 0 deletions