make ormolu happy

anoma · Jan 27, 2023 · 3b65387 · 3b65387
1 parent 306692d
commit 3b65387
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Juvix/Compiler/Core/Transformation/ComputeTypeInfo.hs b/src/Juvix/Compiler/Core/Transformation/ComputeTypeInfo.hs
@@ -37,7 +37,7 @@ computeNodeTypeInfo tab = umapL go
          in case lty of
               NPi Pi {..}
                 | rty == _piBinder ^. binderType ->
-                  _piBody
+                    _piBody
               _ ->
                 error "incorrect type information (application)"
       NBlt BuiltinApp {..} ->