Thingproperties.h no such file or directory

Hi there I am trying to do the "Connecting ESP32 & ESP8266 to Arduino Cloud IoT "straight from the Arduino website but when loading the code provided

#include "thingProperties.h"

int LED = 13;

void setup() {
pinMode(LED, OUTPUT);
// Initialize serial and wait for port to open:
// This delay gives the chance to wait for a Serial Monitor without blocking if none is found

// Defined in thingProperties.h

// Connect to Arduino IoT Cloud

The following function allows you to obtain more information
related to the state of network and IoT Cloud connection and errors
the higher number the more granular information you’ll get.
The default is 0 (only errors).
Maximum is 4

void loop() {
// Your code here
random_value = random(0, 500);

void onLedSwitchChange() {
// Do something
digitalWrite(LED, HIGH);
digitalWrite(LED, LOW);

it always says thingProperties.h no such file or directory

I've searched all over for the install code for it and can't find it anywhere. I have found exacty two threads on the internet with the same problem but no solutions! How do I get this include to install and work.

Hello, do yourself a favour and please read How to get the best out of this forum and modify your post accordingly (including code tags and necessary documentation or links for your ask).

I will but need an answer please, simple question

When you create a “Thing”, the sketch that is auto-generated contains a “thingProperties.h” file which has the declarations of the properties you added to the “Thing”. Add this to your project if it's not there

look at examples, here is one Arduino - Experiment04

please fix your post. simple ask...