CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-19 00:15:39 +03:00
Code Issues Projects Releases Wiki Activity

Fix typo

Browse Source
This commit is contained in:
Louis Gesbert 2024-02-16 16:12:35 +01:00
parent 5f7fca0fe6
commit f09edf443e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/literate/latex.ml
View File

@ -282,7 +282,7 @@ let rec law_structure_to_latex
match alias with
| None -> Format.fprintf fmt "}"
| Some al ->
Format.fprintf fmt " under the name \texttt{%s}"
Format.fprintf fmt " under the name \texttt{%s}}"
(pre_latexify (Mark.remove al)))
| A.LawText t -> Format.fprintf fmt "%s" (pre_latexify t)
| A.CodeBlock (_, c, false) when not print_only_law ->