[ #3960 ] Made "make haddock" work.

agda · Jan 7, 2020 · 30b0c18 · 30b0c18
1 parent 7fbc85e
commit 30b0c18
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/full/Agda/TypeChecking/Conversion.hs b/src/full/Agda/TypeChecking/Conversion.hs
@@ -1742,7 +1742,7 @@ equalSort s1 s2 = do
             -- more constraints (in particular when @l == 0@).
             leqLevel l2 l
             -- Jesper, 2019-12-27: SizeUniv is disabled at the moment.
-            if | propEnabled {- || sizedTypesEnabled -} -> case funSort' s1 (Type l2) of
+            if | {- sizedTypesEnabled || -} propEnabled -> case funSort' s1 (Type l2) of
                    -- If the work we did makes the @funSort@ compute,
                    -- continue working.
                    Just s  -> equalSort (Type l) s