Skip to content
Permalink
Browse files

Stop assuming term eqtype in cfLetAutoLib

  • Loading branch information...
xrchz committed Feb 18, 2019
1 parent 3c21e96 commit 62cb1c63146009d550cace769499732f81cc45b3
Showing with 1 addition and 1 deletion.
  1. +1 −1 characteristic/cfLetAutoLib.sml
@@ -1032,7 +1032,7 @@ fun match_heap_conditions hcond sub_hcond =
(* Interior loop *)
fun match_loop_int h1 [] = raise ERR "match_loop_int" "Empty"
| match_loop_int h1 (h2::hl2) =
if h1 = h2 then ([], hl2)
if h1 ~~ h2 then ([], hl2)
else
(let
val result = tryfind (try_match (mk_sep_imp_hprop (h1, h2))) extr_pairs

0 comments on commit 62cb1c6

Please sign in to comment.
You can’t perform that action at this time.