Added unit () arg to #delete method.
authorrich <rich>
Tue, 23 Nov 2004 13:40:50 +0000 (13:40 +0000)
committerrich <rich>
Tue, 23 Nov 2004 13:40:50 +0000 (13:40 +0000)
commit7b149a9c008ee1fa1b1549347dacf5338edaef43
tree48f84f1b015dbe261dfba05ac0f3964889953511
parent43ea9d6fb51c33d789760326f2233998dd1754ee
Added unit () arg to #delete method.
wrappers/pl_HTML_Parser.ml