/*
  rpt_ipoint.h for intel/linux

  Part of the DEBIE-1 benchmark.

  $Id: rpt_ipoint.h,v 1.1 2008/03/28 08:22:18 niklas Exp $
*/


#ifndef RPT_IPOINT_H
#define RPT_IPOINT_H

#include <stdio.h>

//#define RPT_Ipoint(N) printf ("RPT_Ipoint %d\n", N)
#define RPT_Ipoint(N)

#endif
