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