Index: firmware/App/Services/Interrupts.c
===================================================================
diff -u -rf4f7e0ee3baef51d91de64d44a0a00ff967f56c0 -r6c0562319b5ee7259e181192ddf45904cf775b30
--- firmware/App/Services/Interrupts.c	(.../Interrupts.c)	(revision f4f7e0ee3baef51d91de64d44a0a00ff967f56c0)
+++ firmware/App/Services/Interrupts.c	(.../Interrupts.c)	(revision 6c0562319b5ee7259e181192ddf45904cf775b30)
@@ -194,7 +194,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 )
         {
@@ -293,7 +296,7 @@
         sci2FEOEError = FALSE;
     }
 
-    return returnValue;;
+    return returnValue;
 }
 
 /**@}*/