Re: [deal.II] Instantiation of vector_tools_integrate_difference

2019-11-06 Thread Doug Shi-Dong
Not sure why it builds fine locally, but that fixed it! Thank you! Doug On Wednesday, November 6, 2019 at 11:06:47 AM UTC-5, Wolfgang Bangerth wrote: > > On 11/6/19 8:49 AM, Doug Shi-Dong wrote: > > > > Any hints about what could be causing this? > > I thought we had already fixed that a

Re: [deal.II] Instantiation of vector_tools_integrate_difference

2019-11-06 Thread Wolfgang Bangerth
On 11/6/19 8:49 AM, Doug Shi-Dong wrote: > > Any hints about what could be causing this? I thought we had already fixed that a couple of days ago. Can you update to master? Best W. -- Wolfgang Bangerth