diff options
Diffstat (limited to 'ealg/n7.lyx')
| -rw-r--r-- | ealg/n7.lyx | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/ealg/n7.lyx b/ealg/n7.lyx index 88407e4..2faa1a1 100644 --- a/ealg/n7.lyx +++ b/ealg/n7.lyx @@ -1622,13 +1622,7 @@ status open \backslash -hbox{ -\backslash -vline -\backslash -hspace{2pt} -\backslash -vbox{ +begin{exinfo} \end_layout \end_inset @@ -1658,7 +1652,9 @@ status open \begin_layout Plain Layout -}} + +\backslash +end{exinfo} \end_layout \end_inset |