Minor updates from HAMR code generation on Simple Isolette DT solution

Author: John-Hatcliff

HAMR-SysMLv2-Rust-seL4-P-DP-Simple-Isolette-add-DT-solution/hamr/microkit-initial/build/Makefile

@@ -25,7 +25,7 @@ REPORT_FILE = report.txt
 UTIL_OBJS = printf.o util.o
 
 TYPES_DIR = $(TOP_DIR)/types
-TYPE_OBJS := $(TOP_DIR)/build/sb_queue_Isolette_Data_Model_Temp_1.o $(TOP_DIR)/build/sb_queue_Isolette_Data_Model_Set_Points_1.o $(TOP_DIR)/build/sb_queue_Isolette_Data_Model_On_Off_1.o
+TYPE_OBJS := $(TOP_DIR)/build/sb_queue_Isolette_Data_Model_Temp_1.o $(TOP_DIR)/build/sb_queue_Isolette_Data_Model_Set_Points_1.o $(TOP_DIR)/build/sb_queue_Isolette_Data_Model_On_Off_1.o $(TOP_DIR)/build/sb_queue_Isolette_Data_Model_Temp_1.o
 
 # exporting TOP_TYPES_INCLUDE in case other makefiles need it
 export TOP_TYPES_INCLUDE = -I$(TYPES_DIR)/include