Update workspace file for 4.07.0

Signed-off-by: Rudi Grinberg <[email protected]>
TheLortex · Jul 15, 2018 · 382ef12 · 382ef12
1 parent 3c639a9
commit 382ef12
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/dune-workspace.dev b/dune-workspace.dev
@@ -6,4 +6,5 @@
 (context (opam (switch 4.04.2)))
 (context (opam (switch 4.05.0)))
 (context (opam (switch 4.06.1)))
-(context (opam (switch 4.07.0+trunk)))
+(context (opam (switch 4.07.0)))
+(context (opam (switch 4.08.0+trunk)))