* http://helm.cs.unibo.it/
*)
+(* $Id$ *)
+
open Printf
module Ast = CicNotationPt
| Ast.Variable _ -> PatternMatcher.Variable
| Ast.Magic _
| Ast.Layout _
- | Ast.Literal _ as t -> assert false
+ | Ast.Literal _ -> assert false
| _ -> PatternMatcher.Constructor
let tag_of_pattern = get_tag
let tag_of_term t = get_tag t