diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-03-31 13:20:40 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-03-31 13:20:40 +0000 |
| commit | ae30eca84446f8968341275518fe263660ec0534 (patch) | |
| tree | 5a2525324fded7b07ca987817da0a73c14b77448 /src/GF/API.hs | |
| parent | 0b3af5175e7cc7663a97d3453d6184ec75c264ae (diff) | |
gt -noexpand
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 |