From 47e50a830d2c6451020a78dd433fb505cbe4dec2 Mon Sep 17 00:00:00 2001
From: Adel Ejjeh <aejjeh@illinois.edu>
Date: Wed, 13 Apr 2022 13:07:00 -0500
Subject: [PATCH] [docs] fixing compilation error

---
 hpvm/docs/developerdocs/specifications/hpvm-c-spec.rst | 1 +
 1 file changed, 1 insertion(+)

diff --git a/hpvm/docs/developerdocs/specifications/hpvm-c-spec.rst b/hpvm/docs/developerdocs/specifications/hpvm-c-spec.rst
index 8691c94280..8476e1422f 100644
--- a/hpvm/docs/developerdocs/specifications/hpvm-c-spec.rst
+++ b/hpvm/docs/developerdocs/specifications/hpvm-c-spec.rst
@@ -3,6 +3,7 @@
   <br/>
 
 .. _hpvm-c-spec:
+
 HPVM-C Language Specification
 =============================
 
-- 
GitLab