fix dune

strub · strub · commit f87ad93450ff · 2025-10-06T20:19:32.000+02:00
diff --git a/dune b/dune
@@ -1,4 +1,4 @@
-(dirs 3rdparty src etc theories examples asserts scripts)
+(dirs 3rdparty src etc theories examples assets scripts)
 
 (install
   (section (site (easycrypt commands)))

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-(dirs 3rdparty src etc theories examples asserts scripts)`
	`1`	`+(dirs 3rdparty src etc theories examples assets scripts)`
`2`	`2`
`3`	`3`	`(install`
`4`	`4`	`(section (site (easycrypt commands)))`