mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-27 10:17:13 +03:00
removed unused definition
This commit is contained in:
parent
890004f0ae
commit
20e0ca4930
@ -116,9 +116,6 @@ render expr env =
|
|||||||
space2 = codeText " "
|
space2 = codeText " "
|
||||||
indentWidth = widthOf space2
|
indentWidth = widthOf space2
|
||||||
|
|
||||||
indent : Int -> Element -> Element
|
|
||||||
indent level e = flow right [spaces level, e]
|
|
||||||
|
|
||||||
in go True 0 env.availableWidth { path = Array.empty, term = expr }
|
in go True 0 env.availableWidth { path = Array.empty, term = expr }
|
||||||
|
|
||||||
data Break a
|
data Break a
|
||||||
|
Loading…
Reference in New Issue
Block a user