Index: firmware/App/Services/Interrupts.c
===================================================================
diff -u -r9a7aa0eb2e11048600d3a189859217a82a854ebc -rcd5be724d5a3ba7457e761191d82f278654d7f5c
--- firmware/App/Services/Interrupts.c	(.../Interrupts.c)	(revision 9a7aa0eb2e11048600d3a189859217a82a854ebc)
+++ firmware/App/Services/Interrupts.c	(.../Interrupts.c)	(revision cd5be724d5a3ba7457e761191d82f278654d7f5c)
@@ -1,14 +1,14 @@
 /**************************************************************************
 *
-* Copyright (c) 2019-2023 Diality Inc. - All Rights Reserved.
+* Copyright (c) 2019-2024 Diality Inc. - All Rights Reserved.
 *
 * THIS CODE MAY NOT BE COPIED OR REPRODUCED IN ANY FORM, IN PART OR IN
 * WHOLE, WITHOUT THE EXPLICIT PERMISSION OF THE COPYRIGHT OWNER.
 *
 * @file    Interrupts.c
 *
-* @author  (last)      Sean Nash
-* @date    (last)      08-Dec-2022
+* @author  (last)      Dara Navaei
+* @date    (last)      11-Oct-2023
 *
 * @author  (original)  Dara Navaei
 * @date    (original)  05-Nov-2019
@@ -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;
 }
 
 /**@}*/