xref: /seL4-l4v-master/HOL4/src/portableML/poly/CoreReplVARS.sml

structure CoreReplVARS =
struct

   val linewidth = PolyML.Compiler.lineLength

end;