aboutsummaryrefslogtreecommitdiffstats
path: root/lib/drl/sublanguage.ml
diff options
context:
space:
mode:
authorMarcos Magueta <maguetamarcos@gmail.com>2026-06-23 23:53:26 -0300
committerGitHub <noreply@github.com>2026-06-23 23:53:26 -0300
commitc284fcd570342c31bc21169960579a20a763e32e (patch)
treece7485055116d794c55090ad0978e0b3f5ff4c2a /lib/drl/sublanguage.ml
parentb81586ee4a0543a5f9866586c78dccdd6328934a (diff)
downloadSakura-c284fcd570342c31bc21169960579a20a763e32e.tar.gz
Sakura-c284fcd570342c31bc21169960579a20a763e32e.zip
Format
Diffstat (limited to 'lib/drl/sublanguage.ml')
-rw-r--r--lib/drl/sublanguage.ml2
1 files changed, 0 insertions, 2 deletions
diff --git a/lib/drl/sublanguage.ml b/lib/drl/sublanguage.ml
index 64cd8c0..d5c5977 100644
--- a/lib/drl/sublanguage.ml
+++ b/lib/drl/sublanguage.ml
@@ -6,8 +6,6 @@ module Make (NT : Nt.S) = struct
let name = "drl"
let parse _ = Ok ()
-
let parse_sexp sexp = Parser.of_sexp sexp
-
let execute ctx ast = Exec.execute ctx ast
end