S419-010 install new driver file using dune

kanigsson · kanigsson · commit 06fe44483efa · 2019-07-04T10:54:49.000+09:00
Change-Id: I2eb816a1724859c88ca8514dcc8449d0b437add6
diff --git a/sources/preludes/dune b/sources/preludes/dune
@@ -5,5 +5,6 @@
   (files
     (b-set-theory-prelude-2018-09-28.ae as preludes/b-set-theory-prelude-2018-09-28.ae)
     (fpa-theory-2017-01-04-16h00.why as preludes/fpa-theory-2017-01-04-16h00.why)
+    (fpa-theory-2019-06-14-11h00.why as preludes/fpa-theory-2019-06-14-11h00.why)
   )
 )

Original file line number	Diff line number	Diff line change
`@@ -5,5 +5,6 @@`
`5`	`5`	`(files`
`6`	`6`	`(b-set-theory-prelude-2018-09-28.ae as preludes/b-set-theory-prelude-2018-09-28.ae)`
`7`	`7`	`(fpa-theory-2017-01-04-16h00.why as preludes/fpa-theory-2017-01-04-16h00.why)`
	`8`	`+ (fpa-theory-2019-06-14-11h00.why as preludes/fpa-theory-2019-06-14-11h00.why)`
`8`	`9`	`)`
`9`	`10`	`)`