We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent f9b9599 commit b665269Copy full SHA for b665269
src/goto-programs/lazy_goto_functions_map.h
@@ -18,7 +18,7 @@
18
/// access to goto programs while they are still under construction.
19
/// The intended workflow:
20
/// 1. The front-end registers the functions that are potentially
21
-/// available, probably by use of util/language_files.h
+/// available, probably by use of langapi/language_file.h
22
/// 2. The main function registers functions that should be run on
23
/// each program, in sequence, after it is converted.
24
/// 3. Analyses will then access functions using the `at` function
0 commit comments