diff options
Diffstat (limited to 'lib/vcl/executor.ml')
| -rw-r--r-- | lib/vcl/executor.ml | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/lib/vcl/executor.ml b/lib/vcl/executor.ml deleted file mode 100644 index ff95583..0000000 --- a/lib/vcl/executor.ml +++ /dev/null @@ -1,9 +0,0 @@ -module Make (NT : Nt.S) = struct - let execute (ctx : Sublanguage_context.t) (stmt : Ast.statement) : - (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) - - let _ = (module NT : Nt.S) -end |