diff options
Diffstat (limited to 'src/Experiments/NewPipeline/StandaloneHaskellMain.v')
| -rw-r--r-- | src/Experiments/NewPipeline/StandaloneHaskellMain.v | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Experiments/NewPipeline/StandaloneHaskellMain.v b/src/Experiments/NewPipeline/StandaloneHaskellMain.v index 5333f7c92..d9ada8451 100644 --- a/src/Experiments/NewPipeline/StandaloneHaskellMain.v +++ b/src/Experiments/NewPipeline/StandaloneHaskellMain.v @@ -46,7 +46,7 @@ Module UnsaturatedSolinas. (prog::argv) (fun res => printf_string (String.concat "" res)) - (fun err => raise_failure _ err)). + (fun err => raise_failure _ (String.concat String.NewLine err))). End UnsaturatedSolinas. Module SaturatedSolinas. @@ -58,5 +58,5 @@ Module SaturatedSolinas. (prog::argv) (fun res => printf_string (String.concat "" res)) - (fun err => raise_failure _ err)). + (fun err => raise_failure _ (String.concat String.NewLine err))). End SaturatedSolinas. |