Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-12-16 22:56:37 -0800 (Tue, 16 Dec 2003)
Revision: 5188
Log message:
Made the refiner.ml file ds/std switching use the macro preprocessor
instead of having a generated file.