From 012d19ecd5a9dff304c48af67d1c1fe91ba610f9 Mon Sep 17 00:00:00 2001
From: Valery Mironov <32071355+MBkkt@users.noreply.github.com>
Date: Thu, 25 May 2023 15:50:54 +0300
Subject: [PATCH] Fix missing stdint include

---
 src/args.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/args.cc b/src/args.cc
index 7ac8c2f81..82011a685 100644
--- a/src/args.cc
+++ b/src/args.cc
@@ -8,6 +8,7 @@
 
 #include "args.h"
 
+#include <stdint.h>
 #include <stdlib.h>
 
 #include <iostream>