PERFORCE change 223020 for review

[Jonathan Anderson]

http://p4web.freebsd.org/@@223020?ac=10

Change 223020 by jonathan at jonathan-on-joe on 2013/03/18 20:56:59

	Pull from upstream commit ef1741ad.
	
	Obtained from:	https://github.com/CTSRD-TESLA/TESLA/commit/ef1741ade5111a31bdf90353114e103dd9991076

Affected files ...

.. //depot/projects/ctsrd/tesla/src/lib/libtesla/tesla.h#4 edit

Differences ...

==== //depot/projects/ctsrd/tesla/src/lib/libtesla/tesla.h#4 (text+ko) ====

@@ -47,8 +47,11 @@
  *  * a counter to ensure uniqueness (__COUNTER__)
  *  * the TESLA context (per-thread or global)
  */
-void __tesla_inline_assertion(const char *filename, int line, int count,
-		__tesla_locality*, ...);
+inline void
+__tesla_inline_assertion(const char *filename, int line, int count,
+	__tesla_locality *loc, ...)
+{
+}
 
 
 /* Only define the following things if doing TESLA analysis, not compiling. */