format fixes

Author: Remi Delmas

src/goto-instrument/contracts/assigns.cpp

@@ -151,7 +151,7 @@ assigns_clauset::conditional_address_ranget::generate_snapshot_instructions()
     minus_exprt{
       plus_exprt{slice.first, slice.second},
       from_integer(1, slice.second.type())},
-    // activate pointer-overflow checks to guard against overflow on 
+    // activate pointer-overflow checks to guard against overflow on
     // this addition
     location_overflow_check));
   instructions.destructive_append(skip_program);

src/goto-instrument/contracts/contracts.h

@@ -211,7 +211,7 @@ class code_contractst
     source_locationt location,
     const irep_idt &mode);
 
-  /// Finds static local symbols that occur in the body of the given 
+  /// Finds static local symbols that occur in the body of the given
   /// function and adds them to the the write set of `assigns`.
   ///
   /// @param function the function to search local static symbols in
@@ -230,7 +230,7 @@ class code_contractst
   ///
   /// The search does *not*:
   /// - recurse into FUNCTION_CALL
-  /// - test DECL or DEAD symbols (because local statics are never 
+  /// - test DECL or DEAD symbols (because local statics are never
   ///   DECL'd or DEAD'd for being static).
   /// - test attributes of GOTO, SET_RETURN_VALUE, THREAD*, ATOMIC*,
   ///   THROW, CATCH instructions