diff src/ur/openidUser.urs @ 37:e31baf0f275e

Small formatting cleanups
author Adam Chlipala <adam@chlipala.net>
date Sat, 23 Apr 2011 09:53:55 -0400
parents df258dbf4739
children 3f475c6fb168 328a429dfedb
line wrap: on
line diff
--- a/src/ur/openidUser.urs	Thu Apr 21 20:06:46 2011 -0430
+++ b/src/ur/openidUser.urs	Sat Apr 23 09:53:55 2011 -0400
@@ -22,7 +22,7 @@
     (* Format the signup link *)
 
     val formatLogon : ({User : string} -> transaction page) -> xbody
-   (* Format the login form *)
+    (* Format the login form *)
 end
 
 (* Some reasonable default gui control formats for programmers in a hurry. *)