Fix spelling of dereferencing

thomasspriggs · thomasspriggs · commit 1ac9052338ec · 2023-09-13T19:16:25.000+01:00
diff --git a/src/solvers/smt2_incremental/object_tracking.h b/src/solvers/smt2_incremental/object_tracking.h
@@ -40,7 +40,7 @@
 struct decision_procedure_objectt
 {
   /// The expression for the root of the object. This is expression equivalent
-  /// to deferencing a pointer to this object with a zero offset.
+  /// to dereferencing a pointer to this object with a zero offset.
   exprt base_expression;
   /// Number which uniquely identifies this particular object.
   std::size_t unique_id = 0;

Original file line number	Diff line number	Diff line change
`@@ -40,7 +40,7 @@`
`40`	`40`	`struct decision_procedure_objectt`
`41`	`41`	`{`
`42`	`42`	`/// The expression for the root of the object. This is expression equivalent`
`43`		`- /// to deferencing a pointer to this object with a zero offset.`
	`43`	`+ /// to dereferencing a pointer to this object with a zero offset.`
`44`	`44`	`exprt base_expression;`
`45`	`45`	`/// Number which uniquely identifies this particular object.`
`46`	`46`	`std::size_t unique_id = 0;`