transition-system → util Relation

File in src/transition-system	Includes file in src/util
transition_system.h	irep / location.h
transition_system.h	symtab / namespace.h
ts_engines.cpp	message / message.h
ts_engines.cpp	base / time_stopping.h
ts_extraction.cpp	message / message.h
ts_extraction.cpp	irep / migrate.h
ts_extraction.cpp	symtab / symbol.h
ts_extraction.h	symtab / context.h
ts_extraction.h	config / options.h