--- typing/typer.ml	2007/07/10 17:40:17	508
+++ typing/typer.ml	2007/07/10 17:40:48	516
@@ -1030,14 +1030,12 @@
     let complex_memo = Hashtbl.create 213
 
     let rec regexp_of_term = function
-      | All _ -> assert false
-      | Choice [] -> PEpsilon
+      | All [] | Choice [] | Sequence [] -> PEpsilon
       | Choice (hd :: tl) ->
           List.fold_left
             (fun acc particle -> PAlt (acc, regexp_of_particle particle))
             (regexp_of_particle hd) tl
-      | Sequence [] -> PEpsilon
-      | Sequence (hd :: tl) ->
+      | All (hd :: tl) | Sequence (hd :: tl) ->
           List.fold_left
             (fun acc particle -> PSeq (acc, regexp_of_particle particle))
             (regexp_of_particle hd) tl