Merge pull request #560 from NathanJPhillips/bugfix/json-false

Daniel Kroening · web-flow · commit 74fa2409201c · 2017-02-20T20:02:56.000Z
Fixed incorrect initialiser value
diff --git a/src/util/json.h b/src/util/json.h
@@ -206,7 +206,7 @@ class json_truet:public jsont
 class json_falset:public jsont
 {
 public:
-  json_falset():jsont(J_TRUE) { }
+  json_falset():jsont(J_FALSE) { }
 };
 
 class json_nullt:public jsont

Original file line number	Diff line number	Diff line change
`@@ -206,7 +206,7 @@ class json_truet:public jsont`
`206`	`206`	`class json_falset:public jsont`
`207`	`207`	`{`
`208`	`208`	`public:`
`209`		`- json_falset():jsont(J_TRUE) { }`
	`209`	`+ json_falset():jsont(J_FALSE) { }`
`210`	`210`	`};`
`211`	`211`
`212`	`212`	`class json_nullt:public jsont`