src/driver/driver.ml · 05ed85d0f186d59cbf79286b69cf24956fc5321f · Why3 / why3 · GitLab

Find file Blame History Permalink

driver : add the import directive which include the content · 05ed85d0
François Bobot authored Apr 21, 2011
```
	 of a file into a driver

include "toto.drv.import"
```
05ed85d0

driver.ml 10.6 KB