Add missing langapi dependency to util

peterschrammel · Daniel Kroening · commit a75ee3f6f37c · 2018-03-16T16:09:02.000Z
This dependency was introduced by moving language.h to langapi.
The dependency will be removed by the work in 1869 / 1935.
diff --git a/src/util/CMakeLists.txt b/src/util/CMakeLists.txt
@@ -3,4 +3,4 @@ add_library(util ${sources})
 
 generic_includes(util)
 
-target_link_libraries(util big-int)
+target_link_libraries(util big-int langapi)

Original file line number	Diff line number	Diff line change
`@@ -3,4 +3,4 @@ add_library(util ${sources})`
`3`	`3`
`4`	`4`	`generic_includes(util)`
`5`	`5`
`6`		`-target_link_libraries(util big-int)`
	`6`	`+target_link_libraries(util big-int langapi)`