Silence an unused variable warning.
authorKim Nguyễn <kn@lri.fr>
Fri, 22 Nov 2013 14:32:07 +0000 (15:32 +0100)
committerKim Nguyễn <kn@lri.fr>
Fri, 22 Nov 2013 14:32:07 +0000 (15:32 +0100)
commitc6f23a2c3a5c0ee4426d1b00fc2807676abdf132
treeac11a4b83b10ea7ff751af3a9a9f44080e73a87b
parent5b19281cbcdbd1ca5f565f6cd41dcfb7e18a297a
Silence an unused variable warning.
src/html.ml