@@ -1105,7 +1105,7 @@ unApplyRaw tm = ua [] tm
11051105 ua args t = (t, args)
11061106
11071107-- | Build the reflected function definition(s) that correspond(s) to
1108−-- a provided unqualifed name
1108+-- a provided unqualified name
11091109buildFunDefns :: IState -> Name -> [RFunDefn Term]
11101110buildFunDefns ist n =
11111111 [ mkFunDefn name clauses