Matitaweb: fixes compilation errors and minor graphical problems.

[helm.git] / matitaB / matita / matitadaemon.ml

diff --git a/matitaB/matita/matitadaemon.ml b/matitaB/matita/matitadaemon.ml
index f0baa4ed0a08c22fa72ea4c10605e21887aae8de..81fa956e1161b87855080b26a7882bb647c57b40 100644 (file)
--- a/matitaB/matita/matitadaemon.ml
+++ b/matitaB/matita/matitadaemon.ml
@@ -214,7 +214,7 @@ let eval_statement include_paths (* (buffer : GText.buffer) *) status (* script
           ->
           let l = match l with
           | None -> None
-          | Some _,l' -> Some (List.map (fun x -> "",0,x) l')
+          | Some (_,l') -> Some (List.map (fun x -> "",0,x) l')
           in
           let trace_ref = ref [] in
           let status = NnAuto.auto_tac ~params:(l,a) ~trace_ref status in