math-comp
diff --git a/‎.nix/coq-nix-toolbox.nix‎
Lines changed: 1 addition & 1 deletion b/‎.nix/coq-nix-toolbox.nix‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎.nix/coq-overlays/coq-elpi/default.nix‎
Lines changed: 0 additions & 63 deletions b/‎.nix/coq-overlays/coq-elpi/default.nix‎
Lines changed: 0 additions & 63 deletions
diff --git a/‎.nix/ocaml-overlays/elpi/default.nix‎
Lines changed: 0 additions & 53 deletions b/‎.nix/ocaml-overlays/elpi/default.nix‎
Lines changed: 0 additions & 53 deletions
diff --git a/‎HB/howto.elpi‎
Lines changed: 1 addition & 1 deletion b/‎HB/howto.elpi‎
Lines changed: 1 addition & 1 deletion
@@ -1 +1 @@
-"be976db262f1dc9f6e013153f263182e14372246"
+"a2aa6afce9ebfea39501cdf43a3a3bd08e557a26"
@@ -150,7 +150,7 @@ pp-solutions LLF :-
   coq.say {coq.pp->string PpSolutions},  
   coq.say.
 
-pred pp-solution i:list factoryname o:coq.pp.
+pred pp-solution i:list factoryname, o:coq.pp.
 pp-solution L (box (hov 0) PLS) :-
   std.map L about.pp-module PL,
   std.intersperse (glue [str ";", spc]) PL PLS.
Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-"be976db262f1dc9f6e013153f263182e14372246"`
	`1`	`+"a2aa6afce9ebfea39501cdf43a3a3bd08e557a26"`