Skip to content
Commit cee2f8e4 authored by Stefan's avatar Stefan
Browse files

* src/prelexer.ml (prelex_string): Don't use a temp file 

* src/prelexer.ml (prelex): Change input type.
(prelex_file, prelex_string): Adjust accordingly.
parent 1a68cffc
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment