diff options
Diffstat (limited to 'testsuite/tests/generalized-open/pr10048.ml')
-rw-r--r-- | testsuite/tests/generalized-open/pr10048.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/generalized-open/pr10048.ml b/testsuite/tests/generalized-open/pr10048.ml index d6f29322b0..8284bae912 100644 --- a/testsuite/tests/generalized-open/pr10048.ml +++ b/testsuite/tests/generalized-open/pr10048.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) module Ext (X : sig type 'a t end) = struct type t = T : 'a X.t -> t |