diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-12-17 12:36:28 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-12-17 12:36:28 +0000 |
commit | 051b2d07e66a89281fde102e850a4fc386dabdae (patch) | |
tree | 90d8b5f5681fb4dc9ab87e90218b5be4adf9d850 /src/SoftwarePipelining/SPTyping.ml | |
parent | 520ce1b13a7843efe110d0ae3b9ae16795a92b08 (diff) | |
download | vericert-051b2d07e66a89281fde102e850a4fc386dabdae.tar.gz vericert-051b2d07e66a89281fde102e850a4fc386dabdae.zip |
Fix whitespace
Diffstat (limited to 'src/SoftwarePipelining/SPTyping.ml')
-rw-r--r-- | src/SoftwarePipelining/SPTyping.ml | 4 |
1 files changed, 2 insertions, 2 deletions
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" *) |