diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/typecheck/pass/if_return.sail | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/test/typecheck/pass/if_return.sail b/test/typecheck/pass/if_return.sail index 9b373c2d..0331bbab 100644 --- a/test/typecheck/pass/if_return.sail +++ b/test/typecheck/pass/if_return.sail @@ -1,5 +1,3 @@ -$option -non_lexical_flow - default Order dec $include <prelude.sail> |