diff --git a/asmcomp/alpha/proc.ml b/asmcomp/alpha/proc.ml
index f31b852fb..93c2422f6 100644
--- a/asmcomp/alpha/proc.ml
+++ b/asmcomp/alpha/proc.ml
@@ -208,8 +208,8 @@ let contains_calls = ref false
 let assemble_file infile outfile =
   let as_cmd =
     if digital_asm && !Clflags.gprofile
-    then Config.as ^ " -pg"
-    else Config.as in
+    then Config.asm ^ " -pg"
+    else Config.asm in
   Ccomp.command (as_cmd ^ " -o " ^
                  Filename.quote outfile ^ " " ^ Filename.quote infile)
 
diff --git a/bytecomp/lambda.mli b/bytecomp/lambda.mli
index 0fe0df2d6..8c34ac94a 100644
--- a/bytecomp/lambda.mli
+++ b/bytecomp/lambda.mli
@@ -175,8 +175,6 @@ val const_unit: structured_constant
 val lambda_unit: lambda
 val name_lambda: lambda -> (Ident.t -> lambda) -> lambda
 val name_lambda_list: lambda list -> (lambda list -> lambda) -> lambda
-val is_guarded: lambda -> bool
-val patch_guarded : lambda -> lambda -> lambda
 
 val iter: (lambda -> unit) -> lambda -> unit
 module IdentSet: Set.S with type elt = Ident.t
diff --git a/lex/cset.mli b/lex/cset.mli
index 3160cc908..53b589959 100644
--- a/lex/cset.mli
+++ b/lex/cset.mli
@@ -16,7 +16,6 @@
 (* Set of characters encoded as list of intervals *)
 
 type t
-exception Bad
 
 val empty : t
 val is_empty : t -> bool