diff options
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" *) |