[r2005-06-02 20:43:31 by afrisch] Empty log message

Original author: afrisch Date: 2005-06-02 20:43:31+00:00

[r2005-06-02 20:43:31 by afrisch] Empty log message
Original author: afrisch Date: 2005-06-02 20:43:31+00:00
b545e80f · Pietro Abate · c1dbea39 · b545e80f
Commit b545e80f authored Jul 10, 2007 by Pietro Abate
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

typing/typepat.ml typing/typepat.ml +1 -0

No files found.
--- a/typing/typepat.ml
+++ b/typing/typepat.ml
@@ -705,6 +705,7 @@ open Ident


  let get_ct c =
+    let c = repr c in
    match c.desc with
      | ITimes (k,content) ->
 	  (match (repr k).desc  with