apply hlint suggestion

ucsd-progsys · Jun 17, 2024 · b4b417b · b4b417b
1 parent 83b3cbf
commit b4b417b
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/Language/Fixpoint/Types/Visitor.hs b/src/Language/Fixpoint/Types/Visitor.hs
@@ -470,9 +470,9 @@ instance SymConsts Rewrite where
 instance (SymConsts (c a)) => SymConsts (GInfo c a) where
   symConsts fi = Misc.sortNub $ csLits ++ bsLits ++ qsLits
     where
-      csLits   = concatMap symConsts $ M.elems  $  cm    fi
-      bsLits   = symConsts           $ bs                fi
-      qsLits   = concatMap symConsts $ qBody   <$> quals fi
+      csLits   = concatMap symConsts $ M.elems $ cm    fi
+      bsLits   = symConsts                     $ bs    fi
+      qsLits   = concatMap (symConsts . qBody) $ quals fi
 
 instance SymConsts (BindEnv a) where
   symConsts    = concatMap (symConsts . Misc.snd3) . M.elems . beBinds