mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-17 00:39:32 -06:00
gt -noexpand
This commit is contained in:
@@ -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
|
||||
|
||||
|
||||
Reference in New Issue
Block a user