Some doc fixes

chschulte · chschulte · commit e6abc78e6253 · 2018-10-16T16:57:55.000+02:00
diff --git a/gecode/int/distinct/cbs.cpp b/gecode/int/distinct/cbs.cpp
@@ -906,3 +906,6 @@ namespace Gecode { namespace Int { namespace Distinct {
 }}}
 
 #endif
+
+// STATISTICS: int-prop
+
diff --git a/gecode/int/distinct/cbs.hpp b/gecode/int/distinct/cbs.hpp
@@ -227,3 +227,6 @@ namespace Gecode { namespace Int { namespace Distinct {
 }}}
 
 #endif
+
+// STATISTICS: int-prop
+

-Original file line number
+Diff line change
 }}}
 #endif
++
 +// STATISTICS: int-prop
++