Delete incorrect comment and fixing whitespace bug

Author: thk123

src/analyses/variable-sensitivity/constant_pointer_abstract_object.cpp

@@ -346,7 +346,7 @@ sharing_ptrt<pointer_abstract_objectt>
         environment.eval(value, ns);
       abstract_object_pointert modified_value=
         environment.write(pointed_value, new_value, stack, ns, merging_write);
-        environment.assign(value, modified_value, ns);
+      environment.assign(value, modified_value, ns);
 
       // but the pointer itself does not change!
     }

src/analyses/variable-sensitivity/full_struct_abstract_object.cpp

@@ -182,7 +182,6 @@ sharing_ptrt<struct_abstract_objectt>
         member_expr.compound().type(), false, true));
   }
 
-  // we only handle one level currently
   if(!stack.empty())
   {
     internal_sharing_ptrt<full_struct_abstract_objectt> copy(