From 8455bb19b7d4235e667cab9112aa276557969dcc Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Wed, 5 Aug 2026 18:44:26 +0100
Subject: Type check generic native types

---
 examples/13-imports/src/line.hob | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 examples/13-imports/src/line.hob

(limited to 'examples/13-imports/src/line.hob')

diff --git a/examples/13-imports/src/line.hob b/examples/13-imports/src/line.hob
deleted file mode 100644
index 562d77f..0000000
--- a/examples/13-imports/src/line.hob
+++ /dev/null
@@ -1,7 +0,0 @@
-import {Point} from ./point;
-
-/// A straight line from one point to another.
-struct Line {
-    field start: Point;
-    field end: Point;
-}
-- 
cgit v1.2.3