diff options
| author | Alasdair Armstrong | 2019-02-12 18:18:05 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-02-12 18:18:05 +0000 |
| commit | 24fc989891ad266eae642815646294279e2485ca (patch) | |
| tree | d533fc26b5980d1144ee4d7849d3dd0f2a1b0e95 /src/latex.ml | |
| parent | b847a472a1f853d783d1af5f8eb033b97f33be5b (diff) | |
| parent | 974494b1dda38c1ee5c1502cc6e448e67a7374ac (diff) | |
Merge remote-tracking branch 'origin/asl_flow2' into sail2
Diffstat (limited to 'src/latex.ml')
| -rw-r--r-- | src/latex.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/latex.ml b/src/latex.ml index 71e0ba54..a0660daa 100644 --- a/src/latex.ml +++ b/src/latex.ml @@ -397,9 +397,9 @@ let process_pragma l command = let tdef_id = function | TD_abbrev (id, _, _) -> id - | TD_record (id, _, _, _, _) -> id - | TD_variant (id, _, _, _, _) -> id - | TD_enum (id, _, _, _) -> id + | TD_record (id, _, _, _) -> id + | TD_variant (id, _, _, _) -> id + | TD_enum (id, _, _) -> id | TD_bitfield (id, _, _) -> id let defs (Defs defs) = |