From cee15cf2c3c5808eb1e6d906454f07d42f80d80b Mon Sep 17 00:00:00 2001
From: Fabrizio Ferrai <fabrizio.ferrai@gmail.com>
Date: Wed, 20 Jun 2018 17:55:38 +0300
Subject: [PATCH] Hotfix for IntOrString

---
 default/io.k8s.apimachinery.pkg.util.intstr.IntOrString.dhall | 2 +-
 types/io.k8s.apimachinery.pkg.util.intstr.IntOrString.dhall   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/default/io.k8s.apimachinery.pkg.util.intstr.IntOrString.dhall b/default/io.k8s.apimachinery.pkg.util.intstr.IntOrString.dhall
index a3a707e..551bce0 100644
--- a/default/io.k8s.apimachinery.pkg.util.intstr.IntOrString.dhall
+++ b/default/io.k8s.apimachinery.pkg.util.intstr.IntOrString.dhall
@@ -1 +1 @@
-\(a : Text) -> a
+\(a : Integer) -> a
diff --git a/types/io.k8s.apimachinery.pkg.util.intstr.IntOrString.dhall b/types/io.k8s.apimachinery.pkg.util.intstr.IntOrString.dhall
index 3de705a..a48c214 100644
--- a/types/io.k8s.apimachinery.pkg.util.intstr.IntOrString.dhall
+++ b/types/io.k8s.apimachinery.pkg.util.intstr.IntOrString.dhall
@@ -1 +1 @@
-Text
+Integer