diff --git a/src/goto-symex/goto_symex_state.h b/src/goto-symex/goto_symex_state.h
index 7b048df259f..1eebbdb8414 100644
--- a/src/goto-symex/goto_symex_state.h
+++ b/src/goto-symex/goto_symex_state.h
@@ -141,7 +141,6 @@ class goto_symex_statet final : public goto_statet
   /// for error traces even after symbolic execution has finished.
   symbol_tablet symbol_table;
 
-  symex_targett::sourcet source;
   symex_target_equationt *symex_target;
 
   // we remember all L1 renamings