Cleanup: use most suitable symbol_exprt constructor

NathanJPhillips · Jun 4, 2018 · e698be9 · e698be9
1 parent 07ef32d
commit e698be9
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/src/goto-programs/remove_function_pointers.cpp b/src/goto-programs/remove_function_pointers.cpp
@@ -343,10 +343,8 @@ void remove_function_pointerst::remove_function_pointer(
       if(t.first=="pthread_mutex_cleanup")
         continue;
 
-      symbol_exprt expr;
-      expr.type()=t.second;
-      expr.set_identifier(t.first);
-        functions.insert(expr);
+      symbol_exprt expr(t.first, t.second);
+      functions.insert(expr);
     }
   }