diff options
Diffstat (limited to 'test/files/run/programmatic-main.check')
-rw-r--r-- | test/files/run/programmatic-main.check | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/test/files/run/programmatic-main.check b/test/files/run/programmatic-main.check index 3429195265..e6c83a6f48 100644 --- a/test/files/run/programmatic-main.check +++ b/test/files/run/programmatic-main.check @@ -5,9 +5,7 @@ typer superaccessors pickler refchecks -selectiveanf liftcode -selectivecps uncurry tailcalls specialize |