diff --git a/timing-mre.html b/timing-mre.html
index 64562a3..825cdb1 100644
--- a/timing-mre.html
+++ b/timing-mre.html
@@ -152,6 +152,12 @@
fail("Fatal error: Device does not support WebGPU.");
}
+ if (!canTimestamp) {
+ fail(
+ 'Fatal error: Device does not support WebGPU timestamp query (`adapter.features.has("timestamp-query")` is false).'
+ );
+ }
+
const workgroupSize = 64;
const memsrcSize = 2 ** 24;
const timingHelper = new TimingHelper(device);