* src/conflicts.c (log_resolution): Correct typo:

obstack_printf should be obstack_fgrow1.
2026-06-08 08:42:35 +00:00 · 2002-05-27 20:55:43 +00:00
parent b0e5f19eab
commit 4a713ec2e3
2 changed files with 6 additions and 1 deletions
@@ -1,3 +1,8 @@
+2002-05-27  Paul Hilfinger  <Hilfinger@CS.Berkeley.EDU>
+
+	* src/conflicts.c (log_resolution): Correct typo: 
+	obstack_printf should be obstack_fgrow1.
+
 2002-05-26  Akim Demaille  <akim@epita.fr>

 	* src/state.h (state_t): `solved_conflicts' is a new member.