Guarantee inheritance of variable type for public constraint system contexts.

2017-12-02 23:30:23 -07:00 · 2017-12-02 23:30:23 -07:00 · 5a88b4f818
parent 1fc640e88f
commit 5a88b4f818
1 changed files with 1 additions and 1 deletions
--- 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.