From 5a88b4f8187b5d6407401824fcd7fe727d3585b8 Mon Sep 17 00:00:00 2001
From: Sean Bowe <ewillbefull@gmail.com>
Date: Sat, 2 Dec 2017 23:30:23 -0700
Subject: [PATCH] Guarantee inheritance of variable type for public constraint
 system contexts.

---
 src/lib.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lib.rs b/src/lib.rs
index af591222c..866fb9b67 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -152,7 +152,7 @@ pub trait PublicConstraintSystem<E: Engine>: ConstraintSystem<E>
 {
     /// Represents the type of the "root" of this constraint system
     /// so that nested namespaces can minimize indirection.
-    type PublicRoot: PublicConstraintSystem<E>;
+    type PublicRoot: PublicConstraintSystem<E, Variable=Self::Variable>;
 
     /// Allocate a public variable in the constraint system. The provided function is used to
     /// determine the assignment of the variable.