From 6fd94fab24c9b226195a160c07e0c3230a4373cd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Tue, 26 Sep 2017 12:43:24 +0200
Subject: [PATCH] Fixed free-vars issue

---
 turnstile/examples/mlish.rkt | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/turnstile/examples/mlish.rkt b/turnstile/examples/mlish.rkt
index 3d318b5..cf1c70d 100644
--- a/turnstile/examples/mlish.rkt
+++ b/turnstile/examples/mlish.rkt
@@ -146,10 +146,7 @@
                                                      #'ty_a))
                                          ;; current cs
                                          cs))))
-          (define solution-as-list (free-id-table-map cs list))
-          (list (reverse as-)
-                (map car solution-as-list)
-                solution-as-list)])]))
+          (list (reverse as-) Xs (free-id-table-map cs list))])]))
 
   (define (mk-app-poly-infer-error stx expected-tys given-tys e_fn)
     (format (string-append