File tree Expand file tree Collapse file tree 1 file changed +20
-11
lines changed Expand file tree Collapse file tree 1 file changed +20
-11
lines changed Original file line number Diff line number Diff line change @@ -30,18 +30,27 @@ Author: Daniel Kroening, kroening@kroening.com
30
30
#include " c_qualifiers.h"
31
31
#include " expr2c_class.h"
32
32
33
- expr2c_configurationt expr2c_configurationt::default_configuration{true ,
34
- true ,
35
- true ,
36
- " TRUE" ,
37
- " FALSE" };
38
-
39
- expr2c_configurationt expr2c_configurationt::clean_configuration{false ,
40
- false ,
41
- false ,
42
- " 1" ,
43
- " 0" };
33
+ // clang-format off
44
34
35
+ expr2c_configurationt expr2c_configurationt::default_configuration
36
+ {
37
+ true ,
38
+ true ,
39
+ true ,
40
+ " TRUE" ,
41
+ " FALSE"
42
+ };
43
+
44
+ expr2c_configurationt expr2c_configurationt::clean_configuration
45
+ {
46
+ false ,
47
+ false ,
48
+ false ,
49
+ " 1" ,
50
+ " 0"
51
+ };
52
+
53
+ // clang-format on
45
54
/*
46
55
47
56
Precedences are as follows. Higher values mean higher precedence.
You can’t perform that action at this time.
0 commit comments