diff options
Diffstat (limited to 'src/GF/API.hs')
| -rw-r--r-- | src/GF/API.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF/API.hs b/src/GF/API.hs index c15d03b6a..768fa7d6b 100644 --- a/src/GF/API.hs +++ b/src/GF/API.hs @@ -234,6 +234,7 @@ optLinearizeTree opts0 gr t = case getOptVal opts transferFun of | mk == markOptJava -> lin markXMLjgf | mk == markOptStruct -> lin markBracket | mk == markOptFocus -> lin markFocus + | mk == "metacat" -> lin metaCatMark | otherwise -> lin noMark _ -> lin noMark |