Labelling: Bugfixes in get_closure

[leo.git] / lab-lines.h

diff --git a/lab-lines.h b/lab-lines.h
index a79603798d1bded6f0912663df4a71f45e1e926b..5f096c98e4f44efeca22ab00709006953e77103b 100644 (file)
--- a/lab-lines.h
+++ b/lab-lines.h
@@ -8,4 +8,6 @@ void segment_lines(void);
 
 void dump_longlines(void);
 
+extern double conf_max_section_length, conf_max_section_overlay;
+
 #endif