corrected a bug in term.ml

1 job for boundedrec in 12 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
failed #4384
build

00:00:12

 
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