From 22236f78bf5acb81d9c404ab71be9aa3d9e3bf26 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 16 Oct 2008 16:00:58 -0400
Subject: Crud auto-indented correctly

---
 tests/crud.urs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tests/crud.urs')

diff --git a/tests/crud.urs b/tests/crud.urs
index 7796a7a2..33090421 100644
--- a/tests/crud.urs
+++ b/tests/crud.urs
@@ -3,7 +3,7 @@ con colMeta = fn t_formT :: (Type * Type) =>
                   Show : t_formT.1 -> xbody,
                   Widget : nm :: Name -> xml form [] [nm = t_formT.2],
                   WidgetPopulated : nm :: Name -> t_formT.1
-                                          -> xml form [] [nm = t_formT.2],
+                                    -> xml form [] [nm = t_formT.2],
                   Parse : t_formT.2 -> t_formT.1,
                   Inject : sql_injectable t_formT.1}
 con colsMeta = fn cols :: {(Type * Type)} => $(mapT2T colMeta cols)
-- 
cgit v1.2.3