From b555c28c7e6c315fc0394baf213ecb08b21ed959 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sat, 26 Sep 2026 15:35:39 -0300
Subject: further deletions on drl and prelude

---
 lib/drl/sublanguage.ml | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100644 lib/drl/sublanguage.ml

(limited to 'lib/drl/sublanguage.ml')

diff --git a/lib/drl/sublanguage.ml b/lib/drl/sublanguage.ml
deleted file mode 100644
index d5c5977..0000000
--- a/lib/drl/sublanguage.ml
+++ /dev/null
@@ -1,11 +0,0 @@
-module Make (NT : Nt.S) = struct
-  module Exec = Executor.Make (NT)
-
-  type configuration = unit
-  type ast = Ast.query
-
-  let name = "drl"
-  let parse _ = Ok ()
-  let parse_sexp sexp = Parser.of_sexp sexp
-  let execute ctx ast = Exec.execute ctx ast
-end
-- 
cgit v1.2.3