diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/drl/sublanguage.ml | 2 |
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 |