blob: 587457f46a567e82f7af5b7041332670077a3ce1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- Plugin/dtl/Diff.hpp 2024-07-12 15:12:49.203308391 +0200
+++ Plugin/dtl/Diff.hpp 2024-07-12 15:13:15.600080947 +0200
@@ -165,7 +165,7 @@
bool trivialEnabled() { return trivial; }
- void enableTrivial() const { this->trivial = true; }
+ void enableTrivial() { this->trivial = true; }
void disableTrivial() { this->trivial = false; }
|