From d2823e60805a6cc394b149563ff500ea969b8627 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Fri, 11 Mar 2016 08:16:23 -0500
Subject: Make Sql compatible with unmangling

---
 src/sql.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/sql.sml')

diff --git a/src/sql.sml b/src/sql.sml
index dfe2f968..e8e82196 100644
--- a/src/sql.sml
+++ b/src/sql.sml
@@ -193,7 +193,7 @@ val uw_ident = wrapP ident (fn s => if String.isPrefix "uw_" s andalso size s >=
                                         SOME (str (Char.toUpper (String.sub (s, 3)))
                                               ^ String.extract (s, 4, NONE))
                                     else
-                                        NONE)
+                                        SOME s)
 
 val field = wrap (follow (opt (follow t_ident (const ".")))
                          uw_ident)
-- 
cgit v1.2.3