From 4ad59206eb2d46317b6899fe48879294924f8578 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Wed, 18 Jan 2017 00:00:19 +0100
Subject: [PATCH] Attempt to fix build on Travis

---
 graph-type.hl.rkt | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/graph-type.hl.rkt b/graph-type.hl.rkt
index 17d88da..db16bfa 100644
--- a/graph-type.hl.rkt
+++ b/graph-type.hl.rkt
@@ -1,4 +1,4 @@
-#lang hyper-literate typed/racket #:no-auto-require
+#lang hyper-literate typed/racket/base #:no-auto-require
 
 @require[scribble-math
          scribble-enhanced/doc
@@ -81,9 +81,12 @@
        (require racket/require
                 phc-toolkit
                 (lib "phc-adt/tagged-structure-low-level.hl.rkt")
-                (for-syntax "graph-info.hl.rkt"
+                (for-syntax (subtract-in racket/base
+                                         phc-graph/subtemplate-override)
+                            "graph-info.hl.rkt"
                             phc-toolkit/untyped
-                            (subtract-in syntax/parse phc-graph/subtemplate)
+                            (subtract-in syntax/parse
+                                         phc-graph/subtemplate)
                             racket/set
                             phc-graph/subtemplate-override))