From 051b2d07e66a89281fde102e850a4fc386dabdae Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 17 Dec 2020 12:36:28 +0000 Subject: Fix whitespace --- src/SoftwarePipelining/SPTyping.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/SoftwarePipelining/SPTyping.ml') diff --git a/src/SoftwarePipelining/SPTyping.ml b/src/SoftwarePipelining/SPTyping.ml index 16c9b01..9b9c679 100644 --- a/src/SoftwarePipelining/SPTyping.ml +++ b/src/SoftwarePipelining/SPTyping.ml @@ -520,7 +520,7 @@ let type_function f = | false -> false with | true -> check_successor f f.fn_entrypoint | false -> false with - | true -> Printf.fprintf SPDebug.dc "The code is well typed\n" - | false -> failwith "Type checking failure\n") + | true -> Printf.fprintf SPDebug.dc "The code is well typed\n" + | false -> failwith "Type checking failure\n") | None -> failwith "Type inference failure\n" *) -- cgit