diff --git a/wcs-lib/jbuild b/wcs-lib/jbuild index 603b865..5a509f1 100644 --- a/wcs-lib/jbuild +++ b/wcs-lib/jbuild @@ -44,7 +44,7 @@ (rule ((targets (wcs_t.rzi)) - (deps (wcs_t.mli json_t.rzi)) + (deps (wcs_t.mli json_t.rzi json_spel_t.rzi)) (action (run rmlc -c ${<})))) (rule