summaryrefslogtreecommitdiff
path: root/src/compiler.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-12-23 12:25:34 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-12-23 12:25:34 -0500
commit1466bbaa78fe224dd227fb50b2a6a21bcd10a74b (patch)
tree4316dc52416e5099c11db0f6214699bdb950019e /src/compiler.sml
parentff717ba5c13390b4c5412ee968505193f0f7daba (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.sml4
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'
}