HomeIsabelle/Phabricator

Merge pull request #135 from pclayton/fix-largeword-fromint

Authored by dcjm on Sun, Jun 28, 3:35 PM.

Description

Merge pull request #135 from pclayton/fix-largeword-fromint

Fix LargeWord.fromInt for negative arguments

Merged Changes

CommitAuthorDetailsCommitted
2785926242d3Phil Clayton
Fix LargeWord.fromInt for negative arguments 
Jun 28