diff --git a/Makefile b/Makefile
index d7759b8..0871639 100644
--- a/Makefile
+++ b/Makefile
@@ -79,7 +79,7 @@ $(UNIT_DIR)/test:
 test: runtime platform clean_test $(TEST_BINS) $(UNIT_DIR)/test
 
 proof:
-	$(VERBOSE)gnatprove --level=2 --checks-as-errors -j0 -Psrc/componolit_runtime.gpr -XOBJECT_DIR=$(OBJ_DIR)
+	$(VERBOSE)gnatprove --level=3 --checks-as-errors -j0 -Psrc/componolit_runtime.gpr -XOBJECT_DIR=$(OBJ_DIR)
 
 clean_test:
 	$(VERBOSE)$(foreach DIR,$(TEST_DIRS) $(UNIT_DIR),cd $(DIR) && gprclean -q -Ptest -r; cd -;)