Skip to content

Commit

Permalink
Add location info
Browse files Browse the repository at this point in the history
AlecsFerra committed Jan 15, 2025
1 parent 5d20a43 commit 422dac2
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
@@ -352,7 +352,7 @@ makeAssumeType cfg tce lmap dm sym mbT v def
_msg = unwords [showpp sym, showpp mbT]
le = case runToLogicWithBoolBinds bbs tce lmap dm cfg mkErr (coreToLogic def') of
Right e -> e
Left e -> panic Nothing (show e)
Left e -> panic (Just $ sourcePosSrcSpan $ loc sym) (show e)
ref = F.Reft (F.vv_, F.PAtom F.Eq (F.EVar F.vv_) le)
mkErr s = ErrHMeas (sourcePosSrcSpan $ loc sym) (pprint $ val sym) (PJ.text s)
bbs = filter isBoolBind xs

0 comments on commit 422dac2

Please sign in to comment.