Index: firmware/App/Services/Interrupts.c
===================================================================
diff -u -r6ad8137b0a76305c94e88afabb47940b91d75aa6 -rd06df4604f433cfd5f03146f4b22bba2d5854756
--- firmware/App/Services/Interrupts.c	(.../Interrupts.c)	(revision 6ad8137b0a76305c94e88afabb47940b91d75aa6)
+++ firmware/App/Services/Interrupts.c	(.../Interrupts.c)	(revision d06df4604f433cfd5f03146f4b22bba2d5854756)
@@ -188,7 +188,10 @@
  *************************************************************************/
 void sciNotification(sciBASE_t *sci, uint32 flags)
 {
+#ifndef _VECTORCAST_
+    // Cannot set the pointers to be equal in VectorCAST. Can define pointers but the user does not have any control on the address of it
     if ( sci == scilinREG )
+#endif
     {
         if ( ( flags & SCI_FE_INT ) != 0 )
         {
@@ -253,7 +256,7 @@
         sci2FEOEError = FALSE;
     }
 
-    return returnValue;;
+    return returnValue;
 }
 
 /**@}*/