diff options
Diffstat (limited to 'kernel/vm.ml')
| -rw-r--r-- | kernel/vm.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/vm.ml b/kernel/vm.ml index 1f57457d74..241ff484c1 100644 --- a/kernel/vm.ml +++ b/kernel/vm.ml @@ -473,7 +473,7 @@ let current_cofix vcf = else find_cofix (pos+1) else raise Not_found in try find_cofix 0 - with _ -> assert false + with Not_found -> assert false let check_cofix vcf1 vcf2 = (current_cofix vcf1 = current_cofix vcf2) && |