Re-type the code and fix any errors. The code should convert non-positive numbers to 1. if (userNum > 0) printf("Positive. "); else printf("Non-positive, converting to 1. "); userNum = 1; printf("Final: %d ", userNum); 357748.2478238.qx3zqy7 12345678 201 1 #include 3 int main(void) { 9 10 11} int userNum; scanf("%d", &userNum); Your solution goes here return 0;