diff options
| -rw-r--r-- | testlabl/poly.exp | 2 | ||||
| -rw-r--r-- | testlabl/poly.exp2 | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/testlabl/poly.exp b/testlabl/poly.exp index 291d49016..c063687a4 100644 --- a/testlabl/poly.exp +++ b/testlabl/poly.exp @@ -1,4 +1,4 @@ - Objective Caml version 3.05 + Objective Caml version 3.06 # * * * # type 'a t = { t : 'a; } # type 'a fold = { fold : 'b. f:('b -> 'a -> 'b) -> init:'b -> 'b; } diff --git a/testlabl/poly.exp2 b/testlabl/poly.exp2 index 6b9f3c146..f0e02933d 100644 --- a/testlabl/poly.exp2 +++ b/testlabl/poly.exp2 @@ -1,4 +1,4 @@ - Objective Caml version 3.05 + Objective Caml version 3.06 # * * * # type 'a t = { t : 'a; } # type 'a fold = { fold : 'b. f:('b -> 'a -> 'b) -> init:'b -> 'b; } |