1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/test/test_tools_pass.cc	Thu Jul 22 14:21:46 2004 +0000
     1.3 @@ -0,0 +1,7 @@
     1.4 +#include "test_tools.h"
     1.5 +
     1.6 +int main() 
     1.7 +{
     1.8 +  check(true, "It should pass.");
     1.9 +  return 0;
    1.10 +}