diff options
Diffstat (limited to 'test/c/option.sail')
| -rw-r--r-- | test/c/option.sail | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/c/option.sail b/test/c/option.sail index 1ca59372..aedde8ef 100644 --- a/test/c/option.sail +++ b/test/c/option.sail @@ -1,5 +1,7 @@ default Order dec +$include <flow.sail> + val print = "print_endline" : string -> unit val "print_int" : (string, int) -> unit |