From b66526998d028a677718e0a12b14c46dc5b29ff6 Mon Sep 17 00:00:00 2001 From: thk123 Date: Mon, 12 Feb 2018 11:52:25 +0000 Subject: [PATCH] Correcting path to a file PR 1822 moved this file into langapi, updated the comment (and removed the erroneous s at the end of the file name). --- src/goto-programs/lazy_goto_functions_map.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/goto-programs/lazy_goto_functions_map.h b/src/goto-programs/lazy_goto_functions_map.h index c52243e0580..3f6fdab4dac 100644 --- a/src/goto-programs/lazy_goto_functions_map.h +++ b/src/goto-programs/lazy_goto_functions_map.h @@ -18,7 +18,7 @@ /// access to goto programs while they are still under construction. /// The intended workflow: /// 1. The front-end registers the functions that are potentially -/// available, probably by use of util/language_files.h +/// available, probably by use of langapi/language_file.h /// 2. The main function registers functions that should be run on /// each program, in sequence, after it is converted. /// 3. Analyses will then access functions using the `at` function