improve user message + fix typo

LCBH · Apr 8, 2019 · 7f0d4bf · 7f0d4bf
1 parent 2affb34
commit 7f0d4bf
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/examples/README.md b/examples/README.md
@@ -84,7 +84,7 @@ heuristics implemented in  UKano to build idealisations:
 
 (*) indicates that we had to slightly modify the produced file, refer to [HBD19](#references) for more details.
 
-We also report on the table below the time needed to find an attack (on well-au\thentication):
+We also report on the table below the time needed to find an attack (on well-authentication):
 
 | Protocol    | Time to find an attack in WA |
 |:------------|:----------------------------:|

diff --git a/src/conditions.ml b/src/conditions.ml
@@ -912,7 +912,7 @@ let transFO proto p inNameFile nameOutFile =
 	 | _ -> let tmIdeal = guessIdeal listVarIn tm in (* he did not, we need to guess it *)
 		if checkIdeal inHonest listVarIn tmIdeal
 		then (tm, tmIdeal) 
-		else failwith ("Critial Error [458]."^email) in
+		else errorClass ("We failed to build an appropriate idealisation because the heuristic in use was not able to build idealised messages that were conform. Please try to build an idealisation manually."^email) ( Output (tc,tm,p,occ)) in
        (* if false then begin pp "\n";  *)  (* For debugging purpose: *)
        (* 			(match tm with | FunApp (f, li) -> debugFunSymb f); *)
        (* 			pp "\n"; Display.Text.display_term tm; *)