Help me in solving STRRR3 problem

My issue

i was wondering if we should add <strng.h> when we use different types of string functions.

My code

#include <stdio.h>
 #include<string.h>
int main() {
  char txt[] = "NumeroTres";
  printf("%d", strlen(txt));
  return 0;
}

Learning course: Learn C
Problem Link: CodeChef: Practical coding for everyone