xref: /seL4-l4v-master/HOL4/tools/Holmake/tests/holdep/errors/comment_unterm.sml

val foo = 3 (* comment here

val bar = 10;