Add missing backslash

romainbrenguier · romainbrenguier · commit d8a4363643e3 · 2019-06-14T09:23:53.000+01:00
No functional changes.
Necessary for doxygen comment
diff --git a/src/goto-symex/goto_symex_state.h b/src/goto-symex/goto_symex_state.h
@@ -217,7 +217,7 @@ class goto_symex_statet final : public goto_statet
   unsigned remaining_vccs = 0;
 
   /// Allocates a fresh L2 name for the given L1 identifier, and makes it the
-  //  latest generation on this path.
+  /// latest generation on this path.
   std::size_t
   increase_generation(const irep_idt l1_identifier, const ssa_exprt &lhs)
   {

Original file line number	Diff line number	Diff line change
`@@ -217,7 +217,7 @@ class goto_symex_statet final : public goto_statet`
`217`	`217`	`unsigned remaining_vccs = 0;`
`218`	`218`
`219`	`219`	`/// Allocates a fresh L2 name for the given L1 identifier, and makes it the`
`220`		`- // latest generation on this path.`
	`220`	`+ /// latest generation on this path.`
`221`	`221`	`std::size_t`
`222`	`222`	`increase_generation(const irep_idt l1_identifier, const ssa_exprt &lhs)`
`223`	`223`	`{`