diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/equations.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/equations.rkt
index 1fb4af07..cdbe35be 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/equations.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/equations.rkt
@@ -1,4 +1,4 @@
-#lang racket
+#lang racket/base
 
 ;; Manages a set of mutually recursive equations, and provids functionality for finding a fix point.
 ;; An equation set has two components