From 5b34847ba875ab569725541bbce4c521a98187d5 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Mon, 22 Jan 2024 09:36:24 +0000 Subject: [PATCH] Removed trailing whitespaces. Signed-off-by: Achim D. Brucker --- tools/c-parser/isar_install.ML | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/c-parser/isar_install.ML b/tools/c-parser/isar_install.ML index ed8b9971dd..0cdd01ba34 100644 --- a/tools/c-parser/isar_install.ML +++ b/tools/c-parser/isar_install.ML @@ -145,8 +145,8 @@ fun get_Csyntax thy s = let val cpp_option = case Config.get_global thy cpp_path of "" => NONE - | s => SOME (if Path.is_absolute (Path.explode s) - then s + | s => SOME (if Path.is_absolute (Path.explode s) + then s else Path.implode (Path.append (Resources.master_directory thy) (Path.explode s))) val cpp_error_count = Config.get_global thy report_cpp_errors val (ast0, _) =