# HG changeset patch
# User Nina Engelhardt <nengel@mailbox.tu-berlin.de>
# Date 1373028105 -7200
# Node ID 6be6b039453758f2247d50760fb862fa15433b00
# Parent  19114b7a235730aaa2fee1ff6186a2255e13dd6d
add nanos_in_final

diff -r 19114b7a2357 -r 6be6b0394537 nanos-vss.c
--- a/nanos-vss.c	Thu Jun 20 12:39:54 2013 +0200
+++ b/nanos-vss.c	Fri Jul 05 14:41:45 2013 +0200
@@ -214,6 +214,11 @@
     return NANOS_OK;
 }
 
+nanos_err_t nanos_in_final(bool *result){
+    *result = false;
+    return NANOS_OK;
+}
+
 void * nanos_smp_factory( void *args){
     return NULL;
 }