I'm just starting cs50's week 6 in python. I copied a small program written by David in the lecture to run in my cs50 IDE, but I'm getting a strange error. I believe the error is about the get_string function declared from the cs50 library, but I'm not sure. Here is my (well, David's) code, and a screenshot of the error. Any help would be appreciated!
from cs50 import get_string
# Get a string
s = get_string("s: ")
# Copy string
t = s
# Capitalize copy
t = t.capitalize()
# Print strings
print(f"s: {s}")
print(f"t: {t}")
s = input("s: ")
instead