dhall: add missing configuration for clever_restart_only variable

This change was forgotten in #70

diff --git a/dhall/Config.dhall b/dhall/Config.dhall
index 12371f5faf97440256293b3023ddf4cffca1e67d..9e46679e4e02ac1fe81d964e17d6a083fcefae6c 100644 (file)
--- a/dhall/Config.dhall
+++ b/dhall/Config.dhall
@@ -31,6 +31,7 @@ let Config =
         , clever_env : Environment
         , clever_build_flavor : Optional Text
         , clever_scaling : Optional ScalingParameters
+        , clever_restart_only : Optional Bool
         }
 
 let mkConfig =
@@ -50,6 +51,7 @@ let mkConfig =
           , clever_env = {=}
           , clever_build_flavor = None Text
           , clever_scaling = None ScalingParameters
+          , clever_restart_only = None Bool
           }
         : Config {}