From 561ccdb5853643bdb3b8d8534f4328433d11b8b7 Mon Sep 17 00:00:00 2001
From: Marcel Luethi <marcel.luethi@inf.ethz.ch>
Date: Fri, 17 Jul 2026 17:14:07 +0200
Subject: [PATCH] remove scalaSource directive in example build definition

---
 build.sbt | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/build.sbt b/build.sbt
index 383f472..5550462 100644
--- a/build.sbt
+++ b/build.sbt
@@ -101,9 +101,6 @@ lazy val examples = (project in file("examples"))
     publish := {},
     publishLocal := {},
     publishArtifact := false,
-    // Examples source directory
-    Compile / scalaSource := baseDirectory.value,
-    Compile / resourceDirectory := baseDirectory.value / "src" / "main" / "resources",
     scalacOptions ++= commonScalacOptions,
     scalafmtFailOnErrors := false,
     javaOptions ++= {