Overfull hboxes.

sudonatalie · Jun 2, 2017 · ae2b95d · ae2b95d
1 parent 14a0de8
commit ae2b95d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Chapters/Float.lhs b/Chapters/Float.lhs
@@ -17,7 +17,7 @@ to our Agda branch which, when enabled, will float the pattern lets up through t
 
 In combination with our option:
 \begin{verbatim}
---cross-call-float                          float pattern bindings across function calls
+--cross-call-float          float pattern bindings across function calls
 \end{verbatim}
 
 bindings can also be shared across function calls.

diff --git a/Chapters/GenPlet.lhs b/Chapters/GenPlet.lhs
@@ -9,7 +9,7 @@ In this chapter we present our optimisation to generate pattern lets. In Section
 We added the option:
 
 \begin{verbatim}
---ghc-generate-pattern-let                  make the GHC backend generate pattern lets
+--ghc-generate-pattern-let          make the GHC backend generate pattern lets
 \end{verbatim}
 
 to our Agda branch which, when enabled, will generate pattern lets in the GHC backend during compilation.