\fbox in stex linter

UniFormal · Mar 21, 2023 · 665df86 · 665df86
1 parent 4748d04
commit 665df86
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/mmt-stex/src/info/kwarc/mmt/stex/parsing/Rules.scala b/src/mmt-stex/src/info/kwarc/mmt/stex/parsing/Rules.scala
@@ -466,7 +466,7 @@ object TeXRules {
     SkipCommand("DeclareRobustCommand", "vv"),
     SkipCommand("NewDocumentEnvironment", "vvvv"),
     SkipCommand("DeclareDocumentEnvironment", "vvvv"),
-    SkipCommand("hbox","t"),SkipCommand("vbox","t"),SkipCommand("text","t"),
+    SkipCommand("hbox","t"),SkipCommand("vbox","t"),SkipCommand("fbox","t"),SkipCommand("text","t"),
     SkipCommand("texttt","t"),SkipCommand("ensuremath","m"),SkipCommand("scalebox","vt")
   )
 }