- fixed a compile warning in tester_type_checker
- fixed a compile warning in tester_type_checker

l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror