From 210ec59c8cc28038d18edd14022af5726dbaf93e Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 22 Apr 2012 09:08:45 -0400
Subject: -unifyMore

---
 tests/league.ur | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'tests/league.ur')

diff --git a/tests/league.ur b/tests/league.ur
index 7edd5f42..5364c977 100644
--- a/tests/league.ur
+++ b/tests/league.ur
@@ -4,4 +4,5 @@ type league = string
 table team : { Id : team,
                League : league }
 
-val foo:int = queryL(SELECT * FROM team)
+val foo = queryL(SELECT * FROM team)
+val bar : int = "hi"
-- 
cgit v1.2.3