diff options
Diffstat (limited to 'lib/vcl/executor.ml')
| -rw-r--r-- | lib/vcl/executor.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/lib/vcl/executor.ml b/lib/vcl/executor.ml index 4ac5eff..ff95583 100644 --- a/lib/vcl/executor.ml +++ b/lib/vcl/executor.ml @@ -3,9 +3,7 @@ module Make (NT : Nt.S) = struct (Sublanguage_types.result, Condition.t) result = match stmt with | Ast.Use branch_name -> - Result.map - (fun delta -> Sublanguage_types.Transition delta) - (ctx.switch_branch branch_name) + Result.map (fun delta -> Sublanguage_types.Transition delta) (ctx.switch_branch branch_name) let _ = (module NT : Nt.S) end |