corrected a bug when computing the set of encryptions that need to be guarded

1 job for boundedrec in 19 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Test
failed #4383
build

00:00:19

 
Name Stage Failure
failed
build Test
+ ocamlfind ocamlopt -c -bin-annot -package fmt.tty -package fmt -package ANSITerminal -I src -o src/cca.cmx src/cca.ml
File "src/cca.ml", line 1077, characters 35-45:
Error: This variant expression is expected to have type
'a Axiom_result.axiom_type
The constructor Encryption does not belong to type Axiom_result.axiom_type
Command exited with code 2.
Makefile:9 : la recette pour la cible « native » a échouée
make: *** [native] Erreur 10
ERROR: Job failed: exit status 1