Fixing clang issues

Author: svorenova

src/goto-symex/symex_function_call.cpp

@@ -277,7 +277,7 @@ void goto_symext::symex_function_call_code(
   }
 
   // read the arguments -- before the locality renaming
-  exprt::operandst arguments=call.arguments();
+  exprt::operandst arguments = call.arguments();
   for(auto &a : arguments)
     state.rename(a, ns);
 

src/goto-symex/symex_target.h

@@ -105,7 +105,7 @@ class symex_targett
   virtual void function_call(
     const exprt &guard,
     const irep_idt &identifier,
-    const sourcet &source)=0;
+    const sourcet &source) = 0;
 
   // record return from a function
   virtual void function_return(

src/goto-symex/symex_target_equation.cpp

@@ -690,7 +690,6 @@ void symex_target_equationt::convert_io(
     }
 }
 
-
 void symex_target_equationt::merge_ireps(SSA_stept &SSA_step)
 {
   merge_irep(SSA_step.guard);