--- principality-and-gadts.ml	2021-03-18 15:26:04.493555453 +0530
+++ principality-and-gadts.ml.corrected.corrected	2021-03-22 12:42:09.893389521 +0530
@@ -404,7 +404,7 @@
 Line 3, characters 29-34:
 3 |   | { x = (x : string); eq = Refl3 } -> x
                                  ^^^^^
-Warning 18 [not-principal]: typing this pattern requires considering M.t and string as equal.
+Warning 18 [not-principal]: typing this pattern requires considering M.t and N.t as equal.
 But the knowledge of these types is not principal.
 val foo : string foo -> string = <fun>
 |}]
)
> Specified modules: principality-and-gadts.ml
> Source modules: principality-and-gadts.ml
> Running test expect with 3 actions
> 
> Running action 1/3 (setup-simple-build-env)
> Action 1/3 (setup-simple-build-env) passed
> 
> Running action 2/3 (run-expect)
> Commandline: /home/sk/ocaml-multicore/runtime/ocamlrun /home/sk/ocaml-multicore/testsuite/tools/expect_test -repo-root /home/sk/ocaml-multicore principality-and-gadts.ml
> Commandline: /home/sk/ocaml-multicore/runtime/ocamlrun /home/sk/ocaml-multicore/testsuite/tools/expect_test -repo-root /home/sk/ocaml-multicore -principal principality-and-gadts.ml.corrected
> Action 2/3 (run-expect) passed
> 
> Running action 3/3 (check-program-output)
> Comparing program output principality-and-gadts.ml.corrected.corrected to reference principality-and-gadts.ml
> Action 3/3 (check-program-output) failed (program output principality-and-gadts.ml.corrected.corrected differs from reference principality-and-gadts.ml: 
> --- principality-and-gadts.ml	2021-03-18 15:26:04.493555453 +0530
> +++ principality-and-gadts.ml.corrected.corrected	2021-03-22 12:42:09.893389521 +0530
> @@ -404,7 +404,7 @@
>  Line 3, characters 29-34:
>  3 |   | { x = (x : string); eq = Refl3 } -> x
>                                   ^^^^^
> -Warning 18 [not-principal]: typing this pattern requires considering M.t and string as equal.
> +Warning 18 [not-principal]: typing this pattern requires considering M.t and N.t as equal.
>  But the knowledge of these types is not principal.
>  val foo : string foo -> string = <fun>
>  |}]
> 
> )

> -Warning 18 [not-principal]: typing this pattern requires considering M.t and string as equal.
> +Warning 18 [not-principal]: typing this pattern requires considering M.t and N.t as equal.