diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-12-23 12:25:34 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-12-23 12:25:34 -0500 |
| commit | b826741b92f800aed8b1b4ffe887291897744b69 (patch) | |
| tree | 4316dc52416e5099c11db0f6214699bdb950019e /src/compiler.sml | |
| parent | 8c4797157d006faa44cdfe702dfbff2ffa7125b9 (diff) | |
Stop skipping Especialization of generated functions; fix Compiler.parseUrp; expose uw_really_write(); allow more NULL arguments to uw_register_transactional()
Diffstat (limited to 'src/compiler.sml')
| -rw-r--r-- | src/compiler.sml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/compiler.sml b/src/compiler.sml index 95ad80ad..88046256 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -596,12 +596,12 @@ fun parseUrp' accLibs fname = fun p_job' {Job = j, Libs = _ : string list} = p_job j val parseUrp = { - func = #Job o parseUrp' false, + func = #Job o parseUrp' true, print = p_job } val parseUrp' = { - func = parseUrp' true, + func = parseUrp' false, print = p_job' } |