From e32ba6294781691846c3ab19281fe977350b4d0f Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sat, 26 Sep 2026 15:30:53 -0300 Subject: preparation cleanup for RNT integration --- lib/vcl/executor.ml | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 lib/vcl/executor.ml (limited to 'lib/vcl/executor.ml') 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 -- cgit v1.2.3