aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker/votour.ml
diff options
context:
space:
mode:
Diffstat (limited to 'checker/votour.ml')
-rw-r--r--checker/votour.ml2
1 files changed, 2 insertions, 0 deletions
diff --git a/checker/votour.ml b/checker/votour.ml
index 19c188310..4e8729033 100644
--- a/checker/votour.ml
+++ b/checker/votour.ml
@@ -14,6 +14,7 @@ open Values
let rec get_name ?(extra=false) = function
|Any -> "?"
+ |Fail -> assert false
|Tuple (name,_) -> name
|Sum (name,_,_) -> name
|Array v -> "array"^(if extra then "/"^get_name ~extra v else "")
@@ -79,6 +80,7 @@ let rec get_children v o pos = match v with
if Obj.is_block o && Obj.tag o < Obj.no_scan_tag then
Array.init (Obj.size o) (fun i -> (Any,Obj.field o i,i::pos))
else [||]
+ |Fail -> assert false
type info = {
nam : string;