From d222c8aa14498c90f43e8da38d37c7eefdb7238f Mon Sep 17 00:00:00 2001
From: Grant Sanderson <grant@3blue1brown.com>
Date: Fri, 4 Jan 2019 14:14:15 -0800
Subject: [PATCH] Add increment function to Integer

---
 manimlib/mobject/numbers.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/manimlib/mobject/numbers.py b/manimlib/mobject/numbers.py
index 89f7c393..df6ad50c 100644
--- a/manimlib/mobject/numbers.py
+++ b/manimlib/mobject/numbers.py
@@ -126,3 +126,6 @@ class Integer(DecimalNumber):
     CONFIG = {
         "num_decimal_places": 0,
     }
+
+    def increment_value(self):
+        self.set_value(self.get_value() + 1)