Include a missing header file.
authorMichael Vrable <mvrable@cs.ucsd.edu>
Tue, 30 Jun 2009 18:25:30 +0000 (11:25 -0700)
committerMichael Vrable <mvrable@turin.ucsd.edu>
Tue, 30 Jun 2009 18:25:30 +0000 (11:25 -0700)
commit75e7ec95c43438f4a43e5cff400ebf31e55e5bc5
tree5854b9944f81147589adb1b674873a9a7b7e06c7
parent2911a4279cce1e880793c934ce90a187856c7c92
Include a missing header file.

This should fix compilation with newer versions of GCC.  Problem originally
reported by Robert Rebstock <rebstock@scienceworks.com>.
ref.cc