HomeIsabelle/Phabricator

Fix two warnings. Remove unused static definition for Real_Conv and remove…

Description

Fix two warnings. Remove unused static definition for Real_Conv and remove assertion that produces warning of constant overflow in 32-in-64.

Details

Provenance
dcjmAuthored on Nov 20 2023, 9:46 AM
Parents
rPOLYML9395056f7e37: Remove regression test. It doesn't work if int is arbitrary precision and it…
Branches
Unknown
Tags
Unknown