From 3049c1867be86a4c20fed4e7370a529d65e14696 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Thu, 31 Mar 2016 00:27:04 +0200
Subject: [PATCH] Fixed a couple of tests.

---
 test/meta.rkt | 3 +++
 test/test.rkt | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/test/meta.rkt b/test/meta.rkt
index 0de4fa5..f813ccb 100644
--- a/test/meta.rkt
+++ b/test/meta.rkt
@@ -21,3 +21,6 @@
 > (+ 2 0)
 - : Integer [more precisely: Positive-Byte]
 2
+> (map add1 '(1 2 3 4))
+- : (Listof Positive-Index) [more precisely: (Pairof Positive-Index (Listof Positive-Index))]
+'(2 3 4 5)
diff --git a/test/test.rkt b/test/test.rkt
index 0cbd23f..0a692ca 100644
--- a/test/test.rkt
+++ b/test/test.rkt
@@ -1,4 +1,4 @@
-#lang repltest typed/racket
+#lang repltest racket
 ;; This file has the name "test", but it shouldn't cause any conflicts in module
 ;; names
 (define x 0)