Ind_itp: suppress warning

8063a44e · Andrei Paskevich · e93941ce · 8063a44e
Commit 8063a44e authored Dec 13, 2017 by Andrei Paskevich
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

src/transform/ind_itp.ml src/transform/ind_itp.ml +1 -1

No files found.
--- a/src/transform/ind_itp.ml
+++ b/src/transform/ind_itp.ml
@@ -173,7 +173,7 @@ let revert_tr_symbol symbol_list =
    | [] -> (pr_acc, ls_acc)
    | Tsprsymbol pr :: tl -> convert_list (pr :: pr_acc) ls_acc tl
    | Tslsymbol ls :: tl -> convert_list pr_acc (ls :: ls_acc) tl
-    | Tstysymbol _ :: tl ->
+    | Tstysymbol _ :: _tl ->
        raise (Arg_trans "Tysymbol should not appear here. Please report")
  in
  let (prlist, lslist) = convert_list [] [] symbol_list in