From d6493d7feae92f126618aa7dcf50fe5a80cb0477 Mon Sep 17 00:00:00 2001
From: VooDooS <thevoodoos@gmail.com>
Date: Tue, 19 Jun 2018 16:10:47 +0200
Subject: [PATCH] Work on unification 7

---
 docs/examples/unification.mlts | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/examples/unification.mlts b/docs/examples/unification.mlts
index bf2d69c..40f7821 100644
--- a/docs/examples/unification.mlts
+++ b/docs/examples/unification.mlts
@@ -165,9 +165,13 @@ let unif4 = Some (X\ Some (Y\ (Coerce
       
 let unif5 = Some (X\ Some (Y\ (Coerce 
       ((G(H(X), X), G(Y, A))::[],[]))));;
+
+let unif6 = Some (X\ Some (Y\ (Coerce 
+      ((X, Y)::[],[]))));;
       
 let res1 = unify unif1;;
 let res2 = unify unif2;;
 let res3 = unify unif3;;
 let res4 = unify unif4;; 
 let res5 = unify unif5;; 
+let res6 = unify unif6;;