Fix bug where balances wouldn't update after a new hosting transaction
authorAdam Chlipala <adamc@hcoop.net>
Wed, 27 Jul 2005 02:38:12 +0000 (02:38 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Wed, 27 Jul 2005 02:38:12 +0000 (02:38 +0000)
commit416012c3f285e4ed5ca262cbf3fbde8f23584676
tree946cedd0e168ff196d15835217f6a6ee37c1994a
parentee5c7008c28e1b6d5899df97b10db67abdf971e6
Fix bug where balances wouldn't update after a new hosting transaction
money.sml