src/Tools/jEdit/src/bibtex_jedit.scala
changeset 58697 5bc1d6c4a499
parent 58696 6b7445774ce3
child 58698 1be9855fb579
--- a/src/Tools/jEdit/src/bibtex_jedit.scala	Thu Oct 16 21:24:42 2014 +0200
+++ b/src/Tools/jEdit/src/bibtex_jedit.scala	Sat Oct 18 10:32:19 2014 +0200
@@ -155,7 +155,7 @@
 
   private class Line_Context(context: Option[Bibtex.Line_Context])
     extends Token_Markup.Generic_Line_Context[Bibtex.Line_Context](
-      context_rules, context, Outer_Syntax.Line_Nesting.init)
+      context_rules, context, Outer_Syntax.Line_Structure.init)
 
 
   /* token marker */