From 0354558bb89067ce4b4166f417ec7a0703f096e5 Mon Sep 17 00:00:00 2001
From: Folkert van Heusden <mail@vanheusden.com>
Date: Wed, 12 Jun 2024 23:32:33 +0200
Subject: [PATCH] sanity check

---
 main.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/main.cpp b/main.cpp
index 9cb71ee..1685819 100644
--- a/main.cpp
+++ b/main.cpp
@@ -567,6 +567,9 @@ int main(int argc, char *argv[])
 			for(auto & file: disk_files)
 				rp06_dev->access_disk_backends()->push_back(file);
 		}
+		else {
+			error_exit(false, "Internal error: disk-type %s not understood", disk_type.c_str());
+		}
 
 		if (enable_bootloader)
 			set_boot_loader(b, bootloader);