Removed trailing whitespaces.

Signed-off-by: Achim D. Brucker <[email protected]>
seL4 · Jan 22, 2024 · 809e485 · 809e485
1 parent deb6cfa
commit 809e485
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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, _) =