(match CicEnvironment.get_obj uri with
C.Constant (_,_,ty,_) -> ty
| C.Variable _ -> raise ReferenceToVariable
- | C.CurrentProof (_,_,_,_,params) -> raise RferenceToCurrentProof
+ | C.CurrentProof (_,_,_,_,params) -> raise ReferenceToCurrentProof
| C.InductiveDefinition _ -> raise ReferenceToInductiveDefinition
) in
fix_according_to_type