Commit 78df84c9 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2002-11-17 12:00:06 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-17 12:00:06+00:00
parent 7d79cceb
......@@ -343,7 +343,7 @@ and typ_node s : Types.node =
let type_node s =
let s = typ_node s in
let s = Types.internalize s in
Types.define s (Types.normalize (Types.descr s));
(* Types.define s (Types.normalize (Types.descr s)); *)
s
let rec pat seen s : Patterns.descr =
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment