diff --git a/src/Embedding.ml b/src/Embedding.ml
deleted file mode 100644
index 912173252..000000000
--- a/src/Embedding.ml
+++ /dev/null
@@ -1,41 +0,0 @@
-(* A deep embedding of simple expressions in OCaml. *)
-
-(* Opening GT yet again. *)
-open GT
-       
-(* Opening the substrate module for convenience. *)
-open Syntax
-
-(* Shortcuts for leaf constructors *)
-let ( ! ) x = Expr.Var x
-let ( !? ) n = Expr.Const n
-
-(* Implementation of operators *)
-let binop op x y = Expr.Binop (op, x, y)
-                         
-let ( +  ) = binop "+"
-let ( -  ) = binop "-"
-let ( *  ) = binop "*"
-let ( /  ) = binop "/"
-let ( %  ) = binop "%"
-let ( <  ) = binop "<"
-let ( <= ) = binop "<="
-let ( >  ) = binop ">"
-let ( >= ) = binop ">="
-let ( == ) = binop "=="
-let ( != ) = binop "!="
-let ( && ) = binop "&&"
-let ( || ) = binop "!!"
-
-let ( =:= ) x e = Stmt.Assign (x, e)
-let read  x = Stmt.Read x
-let write e = Stmt.Write e
-let (|>) x y = Stmt.Seq (x, y)
-                             
-(* Some predefined names for variables *)
-let x = !"x"
-let y = !"y"
-let z = !"z"
-let t = !"t"
-
-                   
diff --git a/src/Makefile b/src/Makefile
index 5de1b4eda..5f5d854be 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -2,7 +2,7 @@ TOPFILE = rc
 OCAMLC = ocamlc
 OCAMLOPT = ocamlopt
 OCAMLDEP = ocamldep
-SOURCES = Language.ml Embedding.ml SM.ml Driver.ml
+SOURCES = Language.ml SM.ml Driver.ml
 LIBS = GT.cma unix.cma re.cma re_emacs.cma re_str.cma
 CAMLP5 = -pp "camlp5o -I `ocamlfind -query GT.syntax` -I `ocamlfind -query ostap.syntax` pa_ostap.cmo pa_gt.cmo -L `ocamlfind -query GT.syntax`"
 PXFLAGS = $(CAMLP5)