X-Git-Url: https://svn.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/f59ac471aa5a080301d70e7d7e1e81f34151ba2f..a6be79ccb7456a5181561f094c1f2a4f90aadb02:/interpretor/beam.ml

diff --git a/interpretor/beam.ml b/interpretor/beam.ml
index ffe8128..273ae1c 100644
--- a/interpretor/beam.ml
+++ b/interpretor/beam.ml
@@ -98,6 +98,7 @@ class beam : signal_type array -> beam_type =
 		| Signal_operation s -> "Signal_operation: " ^ s
 		| Beam_matching s -> "Beam_Matching_Error: " ^ s
 		| Invalid_argument s -> "Compute finished."
+		| _ -> "Unknown error"
 	      in
 	      let () = print_string error_message in
 	      transpose (Array.sub container 0 !index)