xref: /seL4-l4v-master/HOL4/help/src-sml/MySML90.sml

structure SML90 =
struct
   exception Interrupt = Interrupt
end