typo in Changes

ocaml · May 16, 2020 · cc7cbc2 · cc7cbc2
1 parent c07ba12
commit cc7cbc2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Changes b/Changes
@@ -10,7 +10,7 @@ Working version
   On non-abstract types, this can be used to check the injectivity of
   parameters. Since all parameters of record and sum types are by definition
   injective, this only makes sense for type abbreviations:
-    type +'a t = 'a list
+    type !'a t = 'a list
 
 ### Runtime system: