From 9dda9dfc479c0519c6dd7240933c07324c3a83f6 Mon Sep 17 00:00:00 2001
From: joshvera <josh@joshvera.com>
Date: Wed, 20 Jun 2018 16:34:14 -0400
Subject: [PATCH] A term has a syntax

---
 src/Data/Term.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Data/Term.hs b/src/Data/Term.hs
index 3647dd932..3af4a263f 100644
--- a/src/Data/Term.hs
+++ b/src/Data/Term.hs
@@ -82,7 +82,7 @@ instance (Show1 f, Show a) => Show (Term f a) where
   showsPrec = showsPrec1
 
 instance Message1 f => Message (Term f ()) where
-  encodeMessage num (Term (In _ f)) = Encode.embedded num (liftEncodeMessage encodeMessage num f)
+  encodeMessage num (Term (In _ f)) = Encode.embedded num (liftEncodeMessage encodeMessage (fromInteger 1) f)
   decodeMessage num = termIn () . fromMaybe undefined <$> Decode.at (Decode.embedded (liftDecodeMessage decodeMessage num)) num
   dotProto _ = liftDotProto (Proxy @(f (Term f ())))