如果在挖隧道时遇到溶洞，需要采取以下措施：
1. 停止挖掘：立即停止挖掘工作，确保人员安全。
2. 评估溶洞情况：对溶洞的大小、深度、位置等进行评估，以确定后续处理方案。
3. 制定处理方案：根据溶洞情况，制定相应的处理方案，如填充、加固、绕过等。
4. 实施处理方案：按照制定的处理方案进行实施，确保溶洞得到妥善处理。
5. 监测溶洞变化：在处理过程中，需要对溶洞进行监测，以确保处理效果。
6. 恢复挖掘：在溶洞得到妥善处理后，可以恢复挖掘工作。
需要注意的是，在处理溶洞时，需要遵循相关的安全规定和操作规程，确保人员安全。同时，需要根据溶洞的具体情况，采取相应的处理措施，确保隧道的安全和稳定。
