update expected test result to match terminology change

disco-lang · Apr 30, 2022 · 5da61f8 · 5da61f8
1 parent dbab278
commit 5da61f8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/error-pattype/expected b/test/error-pattype/expected
@@ -10,7 +10,7 @@ While checking REPL.g:
     (x1, y)
   is supposed to have type
     ℕ,
-  but instead it has a product type.
+  but instead it has a pair type.
   https://disco-lang.readthedocs.io/en/latest/reference/pattern-type.html
 While checking REPL.h:
   Error: the shape of two types does not match.