summaryrefslogtreecommitdiff
path: root/src/demo.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-08-18 13:51:41 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-08-18 13:51:41 -0400
commitd039adcd9ccee4985d7e2d77dbd9f7580cd12577 (patch)
treee418c27ae3ed6540685463ce29b46df30c473c03 /src/demo.sml
parent2ee4b10363f79e6bace8eca3dfae1b800153ea98 (diff)
Better error message for funky command lines
Diffstat (limited to 'src/demo.sml')
0 files changed, 0 insertions, 0 deletions