Minor fix.

Sonny Martin · Sonny Martin · commit b9391c9e1fc6 · 2018-11-14T11:24:17.000Z
diff --git a/src/util/invariant.h b/src/util/invariant.h
@@ -83,7 +83,7 @@ Author: Martin Brain, martin.brain@diffblue.com
 /// `INVARIANT(x==y, my_invariantt, (T1)actual1, (T2)actual2, ...)`
 ///
 /// \ref invariant_failedt is also the base class of any 'structured
-/// exceptions' - as found in file base_exceptions.h
+/// exceptions' - as found in file \ref base_exceptions.h
 ///
 class invariant_failedt
 {

Original file line number	Diff line number	Diff line change
`@@ -83,7 +83,7 @@ Author: Martin Brain, [email protected]`
`83`	`83`	/// `INVARIANT(x==y, my_invariantt, (T1)actual1, (T2)actual2, ...)`
`84`	`84`	`///`
`85`	`85`	`/// \ref invariant_failedt is also the base class of any 'structured`
`86`		`-/// exceptions' - as found in file base_exceptions.h`
	`86`	`+/// exceptions' - as found in file \ref base_exceptions.h`
`87`	`87`	`///`
`88`	`88`	`class invariant_failedt`
`89`	`89`	`{`